Skip to content
ECHIDNA Proof Verification

fix(applier): make --fix able to land a commit #696

Sign in to view logs

fix(applier): make --fix able to land a commit

fix(applier): make --fix able to land a commit #696

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Detect proof changes
4s
Trust pipeline summary
5s
Idris2 — AVOW consent proofs
-1s
Agda — lol/proofs
-1s
7s