Bump Kani version to 0.54.0#3430

feliperodri merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

feliperodri:release-0.54.0feliperodri/kani:release-0.54.0Copy head branch name to clipboard