Skip to content
CI

feat: leverage external index in CI #59

Sign in to view logs

feat: leverage external index in CI

feat: leverage external index in CI #59

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Index / Fetch
6s
Testbed / Setup
8s
Testbed / Build leanprover/std4
1m 39s
Testbed / Build leanprover-community/aesop
1m 24s
Testbed / Build leanprover/LeanInk
17s
Testbed / Build leanprover-community/sphere-eversion
2m 33s
Testbed / Build lurk-lab/LSpec
13s
Testbed / Build nomeata/loogle
2m 41s
Testbed / Build dwrensha/compfiles
6m 7s
Testbed / Build iehality/lean4-logic
6m 13s
Testbed / Build leanprover-community/tutorials4
2m 35s
Testbed / Build dannypsnl/violet
40s
Testbed / Build fgdorais/lean4-parser
1m 42s
Testbed / Build arthurpaulino/FxyLang
8s
Testbed / Build lecopivo/lean4-karray
13s
Testbed / Build proost-assistant/ProostLean
51s
Testbed / Build lftcm2023/lftcm2023
2m 31s
Testbed / Collect Results
8s
Pages / Bundle Manifest
5s
Pages / Deploy
52s
31m 6s