Bump Kani version to 0.43.0 #5942
Triggered via pull request
December 13, 2023 22:09
feliperodri
Status
Failure
Total duration
31m 25s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 27s
benchcomp-tests
4m 21s
perf
31m 14s
bookrunner
15m 48s
Matrix: regression
Annotations
1 error
|
perf
Process completed with exit code 1.
|