Skip to content
Scheduled Update

Scheduled Update #415

Sign in to view logs

Scheduled Update

Scheduled Update #415

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Testbed / Setup
59s
Testbed / Layer 2 / Build AdrienChampion/collChoSoWel
6m 42s
Testbed / Layer 2 / Build somombo/quicksort
30s
Testbed / Layer 2 / Build keilambda/ttfpi
1m 25s
Testbed / Layer 2 / Build igrep/test
16s
Testbed / Layer 2 / Build algebraic-dev/Colorized
15s
Testbed / Layer 2 / Build JamesGallicchio/lean-openapi
24s
Testbed / Layer 2 / Build Seasawher/import-all
52s
Testbed / Layer 2 / Build anlucia/chromatic_polynomial
1m 16s
Testbed / Layer 2 / Build Hagb/lean-groebner
19m 56s
Testbed / Layer 2 / Build morganfshirley/CommComp
1m 39s
Testbed / Layer 2 / Build katzenpost/crypt_walker
7s
Testbed / Layer 2 / Build kkaunda/Project
3h 20m 54s
Testbed / Layer 2 / Build argumentcomputer/Spark.lean
13s
Testbed / Layer 2 / Build matematiflo/SumSq
6m 8s
Testbed / Layer 2 / Build MohanadAhmed/LeanMathSigProc
55m 22s
Testbed / Layer 2 / Build hhu-adam/webeditor
28s
Testbed / Layer 2 / Build TristanCacqueray/gen-zmk
14s
Testbed / Layer 2 / Build Izzimach/pteffects
35s
Testbed / Layer 2 / Build kmill/msri2023_graphs
1m 19s
Testbed / Layer 2 / Build leanprover/TenCert
43s
Testbed / Layer 2 / Build YaelDillies/ChandraFurstLipton
14m 55s
Testbed / Layer 2 / Build lindy-labs/corelib_verification
3m 47s
Testbed / Layer 2 / Build wupr/order-pq
1m 35s
Testbed / Layer 2 / Build math-xmum/GameTheory
58s
Testbed / Layer 1 / Build leanprover-community/mathlib
3h 36m 0s
Testbed / Layer 2 / Build avigad/VerificationDemo
13m 9s
Testbed / Layer 2 / Build todbeibrot/mrdi
3h 21m 0s
Testbed / Layer 2 / Build adomani/advents
1m 44s
Testbed / Layer 2 / Build lean-machines-central/lean-machines-examples
1h 32m 58s
Testbed / Layer 2 / Build dagurtomas/LeanCondensed
40m 22s
Testbed / Layer 2 / Build KislyjKisel/pod
26s
Testbed / Layer 2 / Build fpvandoorn/Seminar
1h 14m 31s
Testbed / Layer 2 / Build arademaker/delphin
14s
Testbed / Layer 2 / Build atlas-computing-org/coq_lean_translation
1m 14s
Testbed / Layer 2 / Build SchrodingerZhu/hashbrown4lean
14s
Testbed / Layer 1 / Build lean-dojo/LeanCopilot
27s
Testbed / Layer 2 / Build optimisticexquisite/lean-rsa-project
52s
Testbed / Layer 1 / Build Paper-Proof/paperproof
1m 36s
Testbed / Layer 2 / Build fgdorais/extra
2m 13s
Testbed / Layer 1 / Build lecopivo/scilean
1h 7m 14s
Testbed / Layer 2 / Build madvorak/Koch
14s
Testbed / Layer 1 / Build ImperialCollegeLondon/FLT
4m 0s
Testbed / Layer 1 / Build teorth/equational_theories
1h 22m 34s
Testbed / Layer 2 / Build keilambda/eocia-lean
26s
Testbed / Layer 1 / Build leanprover-community/batteries
1m 54s
Testbed / Layer 2 / Build alexf91/lean4-ctypes
15s
Testbed / Layer 1 / Build leanprover-community/lean4-metaprogramming-book
24s
Testbed / Layer 2 / Build hargoniX/crup
11s
Testbed / Layer 1 / Build leanprover-community/aesop
3m 10s
Testbed / Layer 2 / Build provables/special-numbers
1m 32s
Testbed / Layer 1 / Build wellecks/ntptutorial
1m 21s
Testbed / Layer 2 / Build argumentcomputer/Bellanova.lean
13s
Testbed / Layer 1 / Build ufmg-smite/smt
2m 11s
Testbed / Layer 2 / Build argumentcomputer/Nova.lean
19s
Testbed / Layer 1 / Build AlexKontorovich/PrimeNumberTheoremAnd
5m 30s
Testbed / Layer 2 / Build Dominique-Lawson/lean_4
1m 16s
Testbed / Layer 2 / Build austinletson/use-lean-standard-action-with-bare-project
30s
Testbed / Layer 1 / Build teorth/PFR
2m 37s
Testbed / Layer 1 / Build ImperialCollegeLondon/formalising-mathematics-2024
3h 17m 52s
Testbed / Layer 2 / Build Izzimach/lean-glfw
11s
Testbed / Layer 2 / Build hwatheod/galeShapley
7m 49s
Testbed / Layer 1 / Build kmill/render
13s
Testbed / Layer 1 / Build cmu-l3/llmlean
1m 24s
Testbed / Layer 2 / Build jaalonso/Calculemus2_es
1h 17m 29s
Testbed / Layer 1 / Build leanprover/verso
2m 12s
Testbed / Layer 2 / Build lindy-labs/WadrayVerification
6m 36s
Testbed / Layer 2 / Build Joonas-vonlerber/Game
8s
Testbed / Layer 1 / Build leanprover-community/Game
8s
Testbed / Layer 2 / Build gsierra99/ExFormMathL4
1h 14m 36s
Testbed / Layer 1 / Build argumentcomputer/yatima
22s
Testbed / Layer 2 / Build RemyDegenne/kolmogorov_extension4
26m 55s
Testbed / Layer 1 / Build dwrensha/compfiles
5m 57s
Testbed / Layer 2 / Build jtristan/lffi
6m 58s
Testbed / Layer 1 / Build PatrickMassot/glimpseOfLean
22m 42s
Testbed / Layer 2 / Build fpvandoorn/sard
1m 24s
Testbed / Layer 1 / Build leanprover-community/proofwidgets
2m 51s
Testbed / Layer 2 / Build niklasmohrin/LeanSeminar
43s
Testbed / Layer 1 / Build wellecks/llmstep
42s
Testbed / Layer 2 / Build siddhartha-gadgil/LeanAideTools
35s
Testbed / Layer 1 / Build opencompl/SSA
50s
Testbed / Layer 2 / Build siddhartha-gadgil/LeanLion
12m 21s
Testbed / Layer 1 / Build google-deepmind/debate
43s
Testbed / Layer 2 / Build Xiyou-Wu/RiemannianGeometry
6m 49s
Testbed / Layer 1 / Build eric-wieser/matrix_cookbook
59m 21s
Testbed / Layer 2 / Build AlexBrodbelt/Game
13s
Testbed / Layer 2 / Build adamtopaz/lean_extras
17s
Testbed / Layer 1 / Build HEPLean/HepLean
16m 39s
Testbed / Layer 2 / Build AdrienChampion/loadTerms
20s
Testbed / Layer 1 / Build FormalizedFormalLogic/foundation
8m 42s
Testbed / Layer 2 / Build AdrienChampion/safeIdx
16s
Testbed / Layer 1 / Build leanprover-community/auto
11s
Testbed / Layer 2 / Build ImperialCollegeLondon/IUM
1h 14m 4s
Testbed / Layer 1 / Build loganrjmurphy/lib
47s
Testbed / Layer 2 / Build functionally/Crypto
43s
Testbed / Layer 1 / Build leanprover-community/Qq
42s
Testbed / Layer 2 / Build madvorak/thue
39s
Testbed / Layer 1 / Build yuma-mizuno/lean-math-workshop
1m 42s
Testbed / Layer 2 / Build HannahSantos/FMCn_Lean
13s
Testbed / Layer 1 / Build leanprover/doc-gen4
52s
Testbed / Layer 2 / Build lean-ja/verso-manual
6m 59s
Testbed / Layer 1 / Build leanprover/Cli
1m 3s
Testbed / Layer 2 / Build alma-n/Game
13s
Testbed / Layer 1 / Build leanprover-community/iris
18s
Testbed / Layer 1 / Build leanprover/lnsym
26s
Testbed / Layer 2 / Build pitmonticone/NewProject
1m 37s
Testbed / Layer 1 / Build siddhartha-gadgil/leanaide
24m 48s
Testbed / Layer 2 / Build pawelsberg/LeanDirectoryBrowser
18s
Testbed / Layer 1 / Build leanprover/sampcert
9s
Testbed / Layer 2 / Build FLDutchmann/selbergSieve
1h 14m 22s
Testbed / Layer 1 / Build leanprover-community/ConNF
15m 5s
Testbed / Layer 2 / Build Shreyas4991/DGAlgorithms
1m 19s
Testbed / Layer 1 / Build nomeata/loogle
1m 35s
Testbed / Layer 2 / Build Maokami/vqc_in_lean
6h 0m 13s
Testbed / Layer 1 / Build lean-ja/Lean by Example
2m 32s
Testbed / Layer 1 / Build risc0/risc0-lean4
1m 22s
Testbed / Layer 1 / Build leanprover/leanInk
27s
Testbed / Layer 1 / Build leanprover-community/Duper
4m 28s
Testbed / Layer 1 / Build frenzymath/jixia
33s
Testbed / Layer 1 / Build mo271/FormalBook
1h 18m 39s
Testbed / Layer 1 / Build starkware-libs/verification
29m 25s
Testbed / Layer 1 / Build PatrickMassot/verbose
1m 58s
Testbed / Layer 1 / Build siddhartha-gadgil/saturn
40s
Testbed / Layer 1 / Build leanprover-community/flt-regular
1h 36m 7s
Testbed / Layer 1 / Build BoltonBailey/formalSnarksProject
20m 49s
Testbed / Layer 1 / Build leanprover/LeanSAT
23s
Testbed / Layer 1 / Build dwrensha/animate
19m 26s
Testbed / Layer 1 / Build rami3l/plfl
1h 14m 0s
Testbed / Layer 1 / Build tydeu/alloy
37s
Testbed / Layer 1 / Build dwrensha/maze
21s
Testbed / Layer 1 / Build forked-from-1kasper/GroundZero
1m 9s
Testbed / Layer 1 / Build argumentcomputer/LSpec
21s
Testbed / Layer 1 / Build NethermindEth/evmyul
37s
Testbed / Layer 1 / Build marcusrossel/egg
1m 36s
Testbed / Layer 1 / Build YaelDillies/LeanCamCombi
3m 10s
Testbed / Layer 1 / Build leanprover-community/mathport
21s
Testbed / Layer 1 / Build fgdorais/Parser
2m 12s
Testbed / Layer 1 / Build joehendrix/lean-crypto
12s
Testbed / Layer 1 / Build verified-optimization/CvxLean
38s
Testbed / Layer 1 / Build emilyriehl/InfinityCosmos
2m 14s
Testbed / Layer 1 / Build kim-em/lean-training-data
3h 20m 31s
Testbed / Layer 1 / Build optsuite/convex
51m 57s
Testbed / Layer 1 / Build fpvandoorn/carleson
7m 14s
Testbed / Layer 1 / Build leanprover/verso-manual
8m 57s
Testbed / Layer 1 / Build leanprover-community/SphereEversion
1h 5m 4s
Testbed / Layer 1 / Build yangky11/miniF2F-lean4
1m 27s
Testbed / Layer 1 / Build riccardobrasca/FLT3
1h 21m 48s
Testbed / Layer 1 / Build haruhisa-enomoto/mathlib4-all-tactics
1h 12m 47s
Testbed / Layer 1 / Build pitmonticone/Project
1m 41s
Testbed / Layer 1 / Build argumentcomputer/Wasm.lean
11s
Testbed / Layer 1 / Build reilabs/proven-zk
40s
Testbed / Layer 1 / Build verse-lab/ssreflect
40s
Testbed / Layer 1 / Build alexkeizer/qpf
1m 58s
Testbed / Layer 1 / Build leanprover-community/tutorials4
23m 0s
Testbed / Layer 1 / Build JamesGallicchio/leancolls
1m 44s
Testbed / Layer 1 / Build axiomed/Http
8s
Testbed / Layer 1 / Build leanprover-community/plausible
1m 4s
Testbed / Layer 1 / Build FR-vdash-bot/algorithm
2m 17s
Testbed / Layer 1 / Build vihdzp/Rubik
3m 21s
Testbed / Layer 1 / Build djvelleman/htpi
2m 15s
Testbed / Layer 1 / Build leanprover-community/llm
34s
Testbed / Layer 1 / Build nomeata/calcify
16s
Testbed / Layer 1 / Build argumentcomputer/Megaparsec.lean
15s
Testbed / Layer 1 / Build hhu-adam/Game
9s
Testbed / Layer 1 / Build pandaman64/Regex
1m 33s
Testbed / Layer 1 / Build quangvdao/Zklib
9m 38s
Testbed / Layer 1 / Build KislyjKisel/raylib
39s
Testbed / Layer 1 / Build Anderssorby/SDL
11s
Testbed / Layer 1 / Build leanprover/TensorLib
2m 30s
Testbed / Layer 1 / Build teorth/expdb
1m 27s
Testbed / Layer 1 / Build dtumad/VCVio
1h 1m 56s
Testbed / Layer 1 / Build girving/ray
12m 32s
Testbed / Layer 1 / Build rahul3613/proofNet-lean4
1m 13s
Testbed / Layer 1 / Build leanprover/lean4checker
1m 30s
Testbed / Layer 1 / Build PeterKementzey/graph-library-for-lean4
34s
Testbed / Layer 1 / Build T-Brick/wasm
39s
Testbed / Layer 1 / Build FormalSAT/lean-sat
42s
Testbed / Layer 1 / Build fpvandoorn/LeanCourse
2m 8s
Testbed / Layer 1 / Build hargoniX/socket
8s
Testbed / Layer 1 / Build kovach/etch
45s
Testbed / Layer 1 / Build arthurpaulino/NumLean
11s
Testbed / Layer 1 / Build arthurpaulino/LeanMySQL
13s
Testbed / Layer 1 / Build siddhartha-gadgil/MetaExamples
1m 20s
Testbed / Layer 1 / Build 0art0/lean-slides
29s
Testbed / Layer 1 / Build madvorak/readLean
1h 13m 33s
Testbed / Layer 1 / Build nomeata/wfinduct
19s
Testbed / Layer 1 / Build T-Brick/lean2wasm
11s
Testbed / Layer 1 / Build alexjbest/leaff
46s
Testbed / Layer 1 / Build leanprover/SHerLOC
36s
Testbed / Layer 1 / Build dwrensha/tryAtEachStep
38s
Testbed / Layer 1 / Build YaelDillies/LeanAPAP
3m 58s
Testbed / Layer 1 / Build arthurpaulino/FxyLang
19s
Testbed / Layer 1 / Build siddhartha-gadgil/lean-loris
18s
Testbed / Layer 1 / Build Seasawher/mdgen
31s
Testbed / Layer 1 / Build katydid/katydid
1m 32s
Testbed / Layer 1 / Build kmill/LeanTeX
19s
Testbed / Layer 1 / Build lean-ja/lean99
19s
Testbed / Layer 1 / Build mortarsanjaya/IMOSLLean4
1h 12m 10s
Testbed / Layer 1 / Build Seasawher/mathlib4-help
1m 18s
Testbed / Layer 1 / Build Timeroot/quantumInfo
58m 39s
Testbed / Layer 1 / Build madvorak/fecssk
34m 14s
Testbed / Layer 1 / Build paulch42/leanSpec
16s
Testbed / Layer 1 / Build jsm28/AM
21m 5s
Testbed / Layer 1 / Build awodey/joyalRepresentationTheorem
5m 38s
Testbed / Layer 1 / Build hargoniX/cpdt-lean
13s
Testbed / Layer 1 / Build dannypsnl/violet
11s
Testbed / Layer 1 / Build draperlaboratory/ELFSage
59s
Testbed / Layer 1 / Build leanprover/lean4export
24s
Testbed / Layer 1 / Build lindy-labs/aegis
2m 17s
Testbed / Layer 1 / Build adomani/mA4N1
1h 21m 56s
Testbed / Layer 1 / Build andrejbauer/partial-combinatory-algebras
7m 27s
Testbed / Layer 1 / Build lecopivo/lean4-karray
22s
Testbed / Layer 1 / Build arthurpaulino/LeanREPL
13s
Testbed / Layer 1 / Build ammkrn/Timelib
1m 12s
Testbed / Layer 1 / Build funexists/raylean
9m 35s
Testbed / Layer 1 / Build dupuisf/BibtexQuery
31s
Testbed / Layer 1 / Build leanprover/leanbv
5s
Testbed / Layer 1 / Build T-Brick/DateTime
12s
Testbed / Layer 1 / Build ImperialCollegeLondon/M1F-explained
3h 15m 14s
Testbed / Layer 1 / Build leanprover-community/LeanSearchClient
27s
Testbed / Layer 1 / Build yangky11/lean4-example
11s
Testbed / Layer 1 / Build girving/interval
1h 7m 10s
Testbed / Layer 1 / Build tydeu/itertools
8s
Testbed / Layer 1 / Build model-checking/rust-lean-models
18s
Testbed / Layer 1 / Build DavePearce/LeanEVM
26s
Testbed / Layer 1 / Build argumentcomputer/RustFFI.lean
14s
Testbed / Layer 1 / Build argumentcomputer/Http.lean
11s
Testbed / Layer 1 / Build Trequetrum/Game
9s
Testbed / Layer 1 / Build ah1112/synthetic_euclid_4
13m 43s
Testbed / Layer 1 / Build dwrensha/Chess
1m 43s
Testbed / Layer 1 / Build abdoo8080/cvc5
10s
Testbed / Layer 1 / Build bergmannjg/Regex
54s
Testbed / Layer 1 / Build FormalizedFormalLogic/arithmetization
12m 17s
Testbed / Layer 1 / Build Ivan-Sergeyev/Seymour
1h 15m 3s
Testbed / Layer 1 / Build riccardobrasca/lFTCM2024
1h 12m 23s
Testbed / Layer 1 / Build argumentcomputer/FFaCiL.lean
23s
Testbed / Layer 1 / Build Bergschaf/banach_tarski
1h 12m 32s
Testbed / Layer 1 / Build apnelson1/Matroid
1h 13m 53s
Testbed / Layer 1 / Build gdncc/cryptography
22s
Testbed / Layer 1 / Build MichaelStollBayreuth/EulerProducts
1h 27m 19s
Testbed / Layer 1 / Build knowsys/formal_systems
2m 0s
Testbed / Layer 1 / Build FWuermse/Postgres
9s
Testbed / Layer 1 / Build leanprover-community/importGraph
1m 4s
Testbed / Layer 1 / Build fgdorais/UnicodeBasic
1m 3s
Testbed / Layer 1 / Build madvorak/vcsp
2m 25s
Testbed / Layer 1 / Build sven-manthe/borel_det
1h 14m 25s
Testbed / Layer 1 / Build bergmannjg/Curl
15s
Testbed / Layer 1 / Build pitmonticone/LeanInVienna
3h 17m 3s
Testbed / Layer 1 / Build glams-lean-2024/Formal2024
1h 13m 43s
Testbed / Layer 1 / Build algebraic-dev/Parse
13s
Testbed / Layer 1 / Build m4lvin/pdl
4m 51s
Testbed / Layer 1 / Build hargoniX/Flame
16s
Testbed / Layer 1 / Build Philogy/remco-mul
7m 26s
Testbed / Layer 1 / Build argumentcomputer/YatimaStdLib
9s
Testbed / Layer 1 / Build argumentcomputer/Ipld.lean
18s
Testbed / Layer 1 / Build argumentcomputer/Poseidon.lean
14s
Testbed / Layer 1 / Build argumentcomputer/Lurk.lean
15s
Testbed / Layer 1 / Build katydid/sadol
15s
Testbed / Layer 1 / Build jaalonso/Calculemus2
1h 17m 9s
Testbed / Layer 1 / Build rah4927/lean-dojo-mew
36m 25s
Testbed / Layer 1 / Build RemyDegenne/testing_lower_bounds
1h 2m 26s
Testbed / Layer 1 / Build mhuisi/Uniq
13s
Testbed / Layer 1 / Build arthurpaulino/LeanMusic
19s
Testbed / Layer 1 / Build arthurpaulino/viper
20s
Testbed / Layer 1 / Build siddhartha-gadgil/pnP2023
42s
Testbed / Layer 1 / Build pnwamk/lean4-assert-command
9s
Testbed / Layer 1 / Build tydeu/partax
13s
Testbed / Layer 1 / Build vasnesterov/HadwigerNelson
2m 33s
Testbed / Layer 1 / Build ammkrn/printiest
22s
Testbed / Layer 1 / Build argumentcomputer/ZKSnark.lean
50s
Testbed / Layer 1 / Build VCA-EPFL/leanses
31s
Testbed / Layer 1 / Build CAIMEOX/json-schema
22s
Testbed / Layer 1 / Build siddhartha-gadgil/Polylean
1m 49s
Testbed / Layer 1 / Build knowsys/certifyingDatalog
5m 17s
Testbed / Layer 1 / Build SchrodingerZhu/lean-gccjit
10s
Testbed / Layer 1 / Build adamtopaz/NodeGraph
34s
Testbed / Layer 1 / Build JLimperg/regensburg-itp-school-2023
9s
Testbed / Layer 1 / Build GasStationManager/CodeProofTheArena
52s
Testbed / Layer 1 / Build alok/lean-inf
48s
Testbed / Layer 1 / Build acmepjz/MD4Lean
15s
Testbed / Layer 1 / Build JamesGallicchio/Http
18s
Testbed / Layer 1 / Build YnirPaz/PCF
12m 3s
Testbed / Layer 1 / Build Seasawher/mk-exercise
37s
Testbed / Layer 1 / Build hhu-adam/i18n
38s
Testbed / Layer 1 / Build T-Brick/controlflow
39s
Testbed / Layer 1 / Build mseri/BET
1h 15m 4s
Testbed / Layer 1 / Build anurudhp/aoc2022
12s
Testbed / Layer 1 / Build pimpale/llm.lean
5m 2s
Testbed / Layer 1 / Build jtristan/UnicodeSkipListTable
17s
Testbed / Layer 1 / Build jtristan/UnicodeSkipListTableExample
12s
Testbed / Layer 1 / Build andrejbauer/lean2sexp
32s
Testbed / Layer 1 / Build lean-machines-central/lean-machines
13m 55s
Testbed / Layer 1 / Build fpvandoorn/bonnAnalysis
3h 24m 42s
Testbed / Layer 1 / Build fpvandoorn/HausdorffSchoolLean
1h 13m 50s
Testbed / Layer 1 / Build MichaelStollBayreuth/Weights
1h 12m 26s
Testbed / Layer 1 / Build ElifUskuplu/stlc
1h 14m 30s
Testbed / Layer 1 / Build madvorak/chomsky
8m 26s
Testbed / Layer 1 / Build madvorak/duality
14m 28s
Testbed / Layer 1 / Build remimimimimi/leansec
45s
Testbed / Layer 1 / Build bergmannjg/time
1m 45s
Testbed / Layer 1 / Build FormalizedFormalLogic/incompleteness
13m 34s
Testbed / Layer 1 / Build argumentcomputer/Blake3.lean
11s
Testbed / Layer 1 / Build argumentcomputer/Straume
13s
Testbed / Layer 1 / Build lf-lang/reactor-model
6m 9s
Testbed / Layer 1 / Build bridgekat/filter-game
2m 47s
Testbed / Layer 1 / Build utensil/LeanBlueprintExample
1h 13m 20s
Testbed / Layer 1 / Build utensil/GinacLean
13s
Testbed / Layer 1 / Build avigad/LeanSudoku
1h 13m 28s
Testbed / Layer 1 / Build marcusrossel/lean_snakebird
21s
Testbed / Layer 1 / Build lecopivo/leanblas
21s
Testbed / Layer 1 / Build fpvandoorn/LogicColloquiumTutorial
22m 15s
Testbed / Layer 1 / Build hanwenzhu/primality-tests
30m 20s
Testbed / Layer 1 / Build Seasawher/Lean Book
21s
Testbed / Layer 1 / Build argumentcomputer/Vero
26s
Testbed / Layer 1 / Build argumentcomputer/OpenSSL.lean
12s
Testbed / Layer 1 / Build matematiflo/leanproject
1m 31s
Testbed / Layer 1 / Build NUS-Math-Formalization/Game
9s
Testbed / Layer 1 / Build TristanCacqueray/advent-of-lean
39s
Testbed / Layer 1 / Build rahul3613/miniF2F-lean4
1m 15s
Testbed / Layer 1 / Build Command-Master/pseudorandom
8m 47s
Testbed / Layer 1 / Build leanprover/subverso
1m 55s
Testbed / Layer 1 / Build leanprover/NKL
22s
Testbed / Layer 1 / Build T-Brick/numbers
11s
Testbed / Layer 1 / Build AeneasVerif/tutorial
4m 43s
Testbed / Layer 1 / Build RemyDegenne/clt
1h 7m 39s
Testbed / Layer 1 / Build goens/lost-pop-lean
25s
Testbed / Layer 1 / Build AlexLoitzl/pumping_cfg
1m 28s
Testbed / Layer 1 / Build Happyves/workshop
1m 55s
Testbed / Layer 1 / Build jeswr/RustFFI
12s
Testbed / Layer 1 / Build vbeffara/rMT4
55s
Testbed / Collect Results
9m 2s
Testbed / Save Results
29s
Website / Bundle Manifest
10s
Website / Build Site
4m 9s
Website / Deploy Site
3m 41s
3d 23h 41m 39s