ECHIDNA Proof Verification

ECHIDNA Proof Verification #27

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Idris2 — AVOW consent proofs	17m 27s
Agda — lol/proofs	45s
Idris2 — a2ml proofs	17m 38s
Trust pipeline summary	2s
	35m 52s