Skip to content
Rust CLI Tests

fix foundational shell and proof integrity gaps #180

Sign in to view logs

fix foundational shell and proof integrity gaps

fix foundational shell and proof integrity gaps #180

Run time

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