Skip to content

Bump Kani version to 0.48.0 #6267

Bump Kani version to 0.48.0

Bump Kani version to 0.48.0 #6267

regression (ubuntu-20.04)

succeeded Mar 13, 2024 in 22m 1s