ECHIDNA Proof Verification

Spec/descriptile v1 #172

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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