ECHIDNA Proof Verification

Spec/descriptile v1 #172

Sign in to view logs

Triggered via pull request September 2, 2026 12:35

synchronize #721

spec/descriptile-v1

Status Success

Total duration 28s

Artifacts –

echidna-verify.yml

on: pull_request

Detect proof changes

Agda — lol/proofs

Idris2 — a2ml proofs

Idris2 — AVOW consent proofs

Trust pipeline summary