deep-checks #28
TheMaxMurdeep-checks.yml
on: schedule
miri
3h 48m
fuzz
1h 37m
kani
1h 17m
repro
8m 26s
coverage
3m 39s
complexity
2m 53s