Repository navigation

ECHIDNA Proof Verification

chore(debt): re-measure Debtfile probes #175

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Detect proof changes	7s
Trust pipeline summary	3s
Idris2 — a2ml proofs	0s
Idris2 — AVOW consent proofs	0s
Agda — lol/proofs	0s
	10s