Skip to content
ECHIDNA Validation

fix(proofs): annotate 4 undocumented admits in rmo_operations.v with … #137

Sign in to view logs

fix(proofs): annotate 4 undocumented admits in rmo_operations.v with …

fix(proofs): annotate 4 undocumented admits in rmo_operations.v with … #137

Triggered via push June 2, 2026 09:28
@hyperpolymathhyperpolymath
pushed 27257b5
cicd/foundational-reds-from-main
Status Failure
Total duration 16m 29s
Artifacts –

echidna-validation.yml

on: push
ECHIDNA Proof Verification
3m 38s
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
34s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in

Annotations

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