Skip to content
Rust

fix edge case: make proofs work even for very small programs #417

Sign in to view logs

fix edge case: make proofs work even for very small programs

fix edge case: make proofs work even for very small programs #417

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build & Test (x64-avx2)
6m 3s
Rustfmt Check
16s
Clippy
23s
6m 42s