Skip to content
Rust CLI Tests

feat(rust-cli): secure_delete + audit_log real impls + typed-error refactor + 15-25 prop-tests #78

Sign in to view logs

feat(rust-cli): secure_delete + audit_log real impls + typed-error refactor + 15-25 prop-tests

feat(rust-cli): secure_delete + audit_log real impls + typed-error refactor + 15-25 prop-tests #78

Triggered via pull request June 1, 2026 18:54
@hyperpolymathhyperpolymath
opened #72
feat/secure-delete-audit-log-impls
Status Failure
Total duration 2m 12s
Artifacts –

rust-cli.yml

on: pull_request
Test Rust CLI
15s
Test Rust CLI
Verify Lean 4 Proofs
12s
Verify Lean 4 Proofs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test Rust CLI
Process completed with exit code 1.