Skip to content

Merge pull request #1278 from creusot-rs/fancy-tests #4416

Merge pull request #1278 from creusot-rs/fancy-tests

Merge pull request #1278 from creusot-rs/fancy-tests #4416

Annotations

1 warning

fmt

succeeded Dec 3, 2024 in 25s