Skip to content
Dogfood Gate

build(proofs): reproducible Lean toolchain bootstrap (future dependability) #86

Sign in to view logs

build(proofs): reproducible Lean toolchain bootstrap (future dependability)

build(proofs): reproducible Lean toolchain bootstrap (future dependability) #86

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Groove manifest check
4s
Validate A2ML manifests
5s
Validate K9 contracts
8s
Empty-linter (invisible characters)
6s
Dogfooding compliance summary
4s
27s