Skip to content
ECHIDNA Proof Verification

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

Sign in to view logs

chore(debt): re-measure Debtfile probes

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

Triggered via pull request September 2, 2026 12:37
@hyperpolymathhyperpolymath
synchronize #724
chore/debt-measure
Status Success
Total duration 19s
Artifacts –

echidna-verify.yml

on: pull_request
Detect proof changes
7s
Detect proof changes
Agda — lol/proofs
0s
Agda — lol/proofs
Idris2 — a2ml proofs
0s
Idris2 — a2ml proofs
Idris2 — AVOW consent proofs
0s
Idris2 — AVOW consent proofs
Trust pipeline summary
3s
Trust pipeline summary
Fit to window
Zoom out
Zoom in