Skip to content
CI

feat: expand cache to full index #484

Sign in to view logs

feat: expand cache to full index

feat: expand cache to full index #484

Triggered via pull request October 4, 2024 18:54
@tydeutydeu
synchronize #53
full-cache
Status Success
Total duration 22m 11s
Artifacts 15

ci.yml

on: pull_request
Configure
0s
Configure
Testbed  /  Setup
5s
Testbed / Setup
Matrix: Testbed / run
Testbed  /  Collect Results
35s
Testbed / Collect Results
Testbed  /  Save Results
11s
Testbed / Save Results
Website  /  Bundle Manifest
6s
Website / Bundle Manifest
Website  /  Build Site
3m 13s
Website / Build Site
Website  /  Deploy Site
1m 24s
Website / Deploy Site
https://cirucir3bv-ocbadokxowjajrv8--reservoir-lean-lang.netlify.app
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Testbed / Layer 1 / Build leanprover-community/lean4-metaprogramming-book
Process completed with exit code 1.
Testbed / Layer 1 / Build ImperialCollegeLondon/FLT
Process completed with exit code 1.
Testbed / Layer 1 / Build lean-dojo/LeanCopilot
Process completed with exit code 1.
Testbed / Layer 1 / Build lecopivo/scilean
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
0PsgIlGl-6zAlohzzZ5RpjLhzrRyMz5Rmc8HtTtlxNQ Expired
33.6 MB
13rBP7SsCD3fXRkO0aZjBTSg6ltRlcMyFxkz5QwefWM Expired
1.25 KB
A-Mv6OBqUWZ94xqN7vobX2xjf2HPriZMjhGD4o9ZmV8 Expired
720 Bytes
BMUeF6S77C27ftUIBmMo-SyRoOstfwAh44SOLb3NpoM Expired
98.1 MB
Ohp4YO8SWSJlY4S_OmoAswvjeewbGxixuEiVVTgY9OA Expired
6.76 MB
OzJXYHQrjwbfpJ3O7U4CHeD1HQojd-Hv-fglfmrQB5E Expired
627 Bytes
aaJ-Hk0ZwQVBDSihgb-HOaqPgiZ9dVby8mZ0IKCetco Expired
97.4 MB
h5ZXDmnOAwId-RDAPLnpKLRik7fv52-bhSC0FmUY9bk Expired
38.5 MB
index Expired
818 KB
manifest Expired
410 KB
matrix Expired
998 Bytes
ntraWwLu2RCbauPxVj0fPq28mUZapJ-1kyyid-IjN5I Expired
30.7 MB
results Expired
15.2 KB
site Expired
36 MB
zI1XleW1QOSZ_ZnUC9rO7oFpQlnaY7z9kaTD5kxK5rM Expired
5.99 KB