Bump Kani version to 0.43.0 #5946
Triggered via pull request
December 14, 2023 03:23
feliperodri
Status
Failure
Total duration
31m 33s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 11s
benchcomp-tests
4m 22s
perf
31m 24s
bookrunner
16m 14s
Matrix: regression
Annotations
1 error
|
perf
Process completed with exit code 1.
|