Skip to content
CI

feat: leverage external index in CI #57

Sign in to view logs

feat: leverage external index in CI

feat: leverage external index in CI #57

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Index / Fetch
8s
Testbed / Setup
8s
Testbed / Build leanprover/std4
1m 45s
Testbed / Build leanprover-community/aesop
1m 24s
Testbed / Build leanprover/LeanInk
17s
Testbed / Build leanprover-community/sphere-eversion
2m 41s
Testbed / Build lurk-lab/LSpec
7s
Testbed / Build nomeata/loogle
2m 26s
Testbed / Build dwrensha/compfiles
6m 4s
Testbed / Build iehality/lean4-logic
6m 25s
Testbed / Build leanprover-community/tutorials4
2m 34s
Testbed / Build dannypsnl/violet
44s
Testbed / Build fgdorais/lean4-parser
1m 49s
Testbed / Build arthurpaulino/FxyLang
7s
Testbed / Build lecopivo/lean4-karray
11s
Testbed / Build proost-assistant/ProostLean
52s
Testbed / Build lftcm2023/lftcm2023
2m 34s
Testbed / Collect Results
4s
Pages / Bundle Manifest
8s
Pages / Deploy
54s
31m 22s