Skip to content
ECHIDNA Proof Verification

fix(ci): account for the devcontainer in the standards map #983

Sign in to view logs

fix(ci): account for the devcontainer in the standards map

fix(ci): account for the devcontainer in the standards map #983

Run time

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