[Draft] Introduce global conditions with support for fail_uncoverable
(new condition) and should_panic
(rework)
#6012
kani.yml
on: pull_request
write-json-symtab-regression
10m 31s
benchcomp-tests
3m 27s
perf
28m 16s
bookrunner
16m 32s
Matrix: regression