Skip to content
Dogfood Gate

fix(abi): repair the Idris2 proofs and record proof status against the policy #776

Sign in to view logs

fix(abi): repair the Idris2 proofs and record proof status against the policy

fix(abi): repair the Idris2 proofs and record proof status against the policy #776

Run time

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