Skip to content
ECHIDNA Validation

feat(rust-cli): secure_delete + audit_log real impls + typed-error re… #102

Sign in to view logs

feat(rust-cli): secure_delete + audit_log real impls + typed-error re…

feat(rust-cli): secure_delete + audit_log real impls + typed-error re… #102

Triggered via push June 1, 2026 18:53
@hyperpolymathhyperpolymath
pushed 29782a0
feat/secure-delete-audit-log-impls
Status Failure
Total duration 4m 3s
Artifacts –

echidna-validation.yml

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

Annotations

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