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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify Lean 4 Proofs
11s
Test Rust CLI
1m 5s
1m 16s