Skip to content
Rust CLI Tests

fix(ci): repair branch payload — remove invalid root-level timeout-mi… #153

Sign in to view logs

fix(ci): repair branch payload — remove invalid root-level timeout-mi…

fix(ci): repair branch payload — remove invalid root-level timeout-mi… #153

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify Lean 4 Proofs
10s
Test Rust CLI
1m 32s
Code coverage (llvm-cov)
44s
2m 26s