Skip to content

Update CHANGELOG and Cargo.lock

ddbfbe4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Bump Kani version to 0.60.0 #3923

Update CHANGELOG and Cargo.lock
ddbfbe4
Select commit
Loading
Failed to load commit list.