Skip to content

Merge pull request #1269 from creusot-rs/fix-nightly #4341

Merge pull request #1269 from creusot-rs/fix-nightly

Merge pull request #1269 from creusot-rs/fix-nightly #4341

fmt

succeeded Nov 29, 2024 in 21s