Skip to content
ECHIDNA Proof Verification

fix(tag-ruleset-canon): enumerate and probe through the App installation #836

Sign in to view logs

fix(tag-ruleset-canon): enumerate and probe through the App installation

fix(tag-ruleset-canon): enumerate and probe through the App installation #836

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Detect proof changes
6s
Trust pipeline summary
3s
Idris2 — AVOW consent proofs
0s
Agda — lol/proofs
0s
9s