Skip to content
Rust CLI Tests

chore(rust-cli): apply cargo fmt across the workspace (44 files) #82

Sign in to view logs

chore(rust-cli): apply cargo fmt across the workspace (44 files)

chore(rust-cli): apply cargo fmt across the workspace (44 files) #82

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify Lean 4 Proofs
10s
Test Rust CLI
40s
50s