deep-checks

Merge pull request #24 from TheMaxMur/develop #26

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
miri	3h 50m 38s
complexity	2m 47s
repro	8m 55s
fuzz	1h 37m 37s
kani	1h 6m 30s
coverage	3m 55s
	6h 50m 22s