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

2 warnings

contracts-build

succeeded Dec 3, 2024 in 31s