Skip to content

Merge pull request #1282 from creusot-rs/add-dev-config #4420

Merge pull request #1282 from creusot-rs/add-dev-config

Merge pull request #1282 from creusot-rs/add-dev-config #4420

Annotations

1 warning

fmt

succeeded Dec 3, 2024 in 25s