Bump Kani version to 0.42.0 #197
kani.yml
on: push
write-json-symtab-regression
12m 34s
benchcomp-tests
4m 40s
perf
27m 29s
bookrunner
16m 50s
Matrix: regression
Annotations
1 error
regression (macos-12)
Process completed with exit code 101.
|