Skip to content
ECHIDNA Proof Verification

Spec/contractile reconcile #173

Sign in to view logs

Spec/contractile reconcile

Spec/contractile reconcile #173

Triggered via pull request September 2, 2026 12:35
@hyperpolymathhyperpolymath
synchronize #722
spec/contractile-reconcile
Status Success
Total duration 19s
Artifacts –

echidna-verify.yml

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