Skip to content

Merge pull request #1268 from creusot-rs/bump_why3 #4338

Merge pull request #1268 from creusot-rs/bump_why3

Merge pull request #1268 from creusot-rs/bump_why3 #4338

fmt

succeeded Nov 29, 2024 in 23s