Skip to content
Rust CLI Tests

Fix: Convert Path to &str for ShellState::new() in fuzz_path_operatio… #115

Sign in to view logs

Fix: Convert Path to &str for ShellState::new() in fuzz_path_operatio…

Fix: Convert Path to &str for ShellState::new() in fuzz_path_operatio… #115

Triggered via push June 5, 2026 02:40
@hyperpolymathhyperpolymath
pushed 38193a9
main
Status Success
Total duration 1m 22s
Artifacts –

rust-cli.yml

on: push
Test Rust CLI
1m 5s
Test Rust CLI
Verify Lean 4 Proofs
11s
Verify Lean 4 Proofs
Fit to window
Zoom out
Zoom in