[Draft] Introduce global conditions with support for fail_uncoverable
(new condition) and should_panic
(rework)
#6024
kani.yml
on: pull_request
write-json-symtab-regression
11m 39s
benchcomp-tests
3m 47s
perf
31m 12s
bookrunner
16m 6s
Matrix: regression
Annotations
1 error
regression (macos-12)
Process completed with exit code 1.
|