Skip to content
ECHIDNA Validation

Merge branch 'main' into chore/clade-status-backfill #253

Sign in to view logs

Merge branch 'main' into chore/clade-status-backfill

Merge branch 'main' into chore/clade-status-backfill #253

Triggered via push June 24, 2026 17:21
@hyperpolymathhyperpolymath
pushed be2eb27
chore/clade-status-backfill
Status Success
Total duration 18h 46m 1s
Artifacts –

echidna-validation.yml

on: push
ECHIDNA Proof Verification
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
51s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in