Skip to content
Dogfood Gate

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry #299

Sign in to view logs

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry #299

Run time

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