Skip to content
Rust CLI Tests

chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift #148

Sign in to view logs

chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift

chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift #148

Triggered via pull request July 1, 2026 13:50
@hyperpolymathhyperpolymath
opened #154
claude/valence-shell-151-root-a2a1kv
Status Failure
Total duration 2m 22s
Artifacts –

rust-cli.yml

on: pull_request
Test Rust CLI
1m 28s
Test Rust CLI
Verify Lean 4 Proofs
11s
Verify Lean 4 Proofs
Code coverage (llvm-cov)
2m 18s
Code coverage (llvm-cov)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Verify Lean 4 Proofs
Process completed with exit code 1.