Bump Kani version to 0.47.0 #6157
Triggered via pull request
February 21, 2024 19:04
jaisnan
Status
Success
Total duration
38m 46s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 32s
benchcomp-tests
3m 21s
perf
36m 5s
bookrunner
13m 41s
Matrix: regression