Bump Kani version to 0.47.0 #6158
Triggered via pull request
February 21, 2024 19:08
jaisnan
Status
Success
Total duration
34m 27s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 32s
benchcomp-tests
3m 13s
perf
34m 4s
bookrunner
14m 29s
Matrix: regression