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

Triggered via push October 31, 2025 07:22
@TomWambsgansTomWambsgans
pushed f8a8069
main
Status Success
Total duration 6m 7s
Artifacts –

rust.yml

on: push
Clippy
23s
Clippy
Rustfmt Check
16s
Rustfmt Check
Matrix: build-test-matrix
Fit to window
Zoom out
Zoom in