Skip to content

Merge pull request #1274 from creusot-rs/cargo-new #4385

Merge pull request #1274 from creusot-rs/cargo-new

Merge pull request #1274 from creusot-rs/cargo-new #4385

Annotations

1 warning

why3-deps

succeeded Dec 2, 2024 in 24s