Skip to content

Bump Kani version to 0.48.0 #695

Bump Kani version to 0.48.0

Bump Kani version to 0.48.0 #695

Annotations

1 warning

TestBundle (macos-13)

succeeded Mar 13, 2024 in 2m 14s