Skip to content
Dogfood Gate

docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… #288

Sign in to view logs

docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME…

docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… #288

Run time

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