Skip to content
ECHIDNA Validation

feat(rust-cli): wire alias expansion + update project documentation #63

Sign in to view logs

feat(rust-cli): wire alias expansion + update project documentation

feat(rust-cli): wire alias expansion + update project documentation #63

Triggered via push April 20, 2026 15:14
@hyperpolymathhyperpolymath
pushed 46bebd2
main
Status Failure
Total duration 2m 32s
Artifacts –

echidna-validation.yml

on: push
ECHIDNA Proof Verification
2m 27s
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
52s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in

Annotations

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