Skip to content
ECHIDNA Validation

ECHIDNA Validation #317

Sign in to view logs

ECHIDNA Validation

ECHIDNA Validation #317

Triggered via schedule September 14, 2026 06:30
@hyperpolymathhyperpolymath
⁠ cbf9814
main
Status Failure
Total duration 5m 5s
Artifacts –

echidna-validation.yml

on: schedule
ECHIDNA Proof Verification
5m 0s
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
32s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in

Annotations

1 error
ECHIDNA Proof Verification
Process completed with exit code 3.