Skip to content
ECHIDNA Validation

style(rust-cli): fix clippy 1.97 + rustfmt for CI green #289

Sign in to view logs

style(rust-cli): fix clippy 1.97 + rustfmt for CI green

style(rust-cli): fix clippy 1.97 + rustfmt for CI green #289

Triggered via push July 17, 2026 05:54
@hyperpolymathhyperpolymath
pushed a963064
claude/valence-shell-151-root-a2a1kv
Status Success
Total duration 36s
Artifacts –

echidna-validation.yml

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