Skip to content
Back to pull request #53

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Configure
1s
Testbed / Setup
5s
Testbed / Layer 1 / Build leanprover-community/mathlib
15m 27s
Testbed / Layer 1 / Build lean-dojo/LeanCopilot
9m 44s
Testbed / Layer 1 / Build Paper-Proof/paperproof
2m 3s
Testbed / Layer 1 / Build lecopivo/scilean
13m 21s
Testbed / Layer 1 / Build leanprover-community/batteries
2m 47s
Testbed / Layer 1 / Build leanprover-community/lean4-metaprogramming-book
36s
Testbed / Layer 1 / Build ImperialCollegeLondon/FLT
6m 46s
Testbed / Layer 1 / Build leanprover-community/aesop
4m 25s
Testbed / Layer 1 / Build wellecks/ntptutorial
2m 8s
Testbed / Layer 1 / Build teorth/PFR
12m 59s
Testbed / Collect Results
35s
Testbed / Save Results
11s
Website / Bundle Manifest
6s
Website / Build Site
3m 13s
Website / Deploy Site
1m 24s
1h 15m 51s