Skip to content
ECHIDNA Validation

Merge branch 'main' into proofs/a12-path-traversal-containment #187

Sign in to view logs

Merge branch 'main' into proofs/a12-path-traversal-containment

Merge branch 'main' into proofs/a12-path-traversal-containment #187

Triggered via push June 4, 2026 00:41
@hyperpolymathhyperpolymath
pushed 1c61a48
proofs/a12-path-traversal-containment
Status Failure
Total duration 2m 9s
Artifacts –

echidna-validation.yml

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

Annotations

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