Skip to content

Merge branch 'main' of https://github.com/danielhumanmod/verify-rust-… #160

Merge branch 'main' of https://github.com/danielhumanmod/verify-rust-…

Merge branch 'main' of https://github.com/danielhumanmod/verify-rust-… #160

Annotations

1 warning

Test Kani script (ubuntu-latest)

succeeded Dec 3, 2024 in 50m 55s