Merge pull request #24 from TheMaxMur/develop #26
deep-checks.yml
on: push
miri
3h 50m
fuzz
1h 37m
kani
1h 6m
repro
8m 55s
coverage
3m 55s
complexity
2m 47s