Rethink should_panic
and fail_uncoverable
options as global conditions
#6026
kani.yml
on: pull_request
write-json-symtab-regression
11m 10s
benchcomp-tests
3m 58s
perf
28m 8s
bookrunner
15m 34s
Matrix: regression