ECHIDNA Proof Verification

fix(deed): grammar files come together — one normative deed.abnf (#837 ruling) #433

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Detect proof changes	6s
Trust pipeline summary	3s
Idris2 — AVOW consent proofs	-1s
Agda — lol/proofs	-1s
	7s