deep-checks

deep-checks #122

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formal	1h 13m 22s
mutants (7)	1h 6m 29s
mutants (1)	2h 5m 9s
mutants (2)	2h 3m 10s
kani (light3)	7m 3s
comutants	17m 53s
mutants (4)	1h 7m 47s
mutants (3)	1h 41m 51s
mutants (10)	2h 7m 26s
mutants (11)	40m 50s
kani (light2)	34m 3s
mutants (5)	34m 14s
mutants (9)	54m 13s
kani (heavy)	1h 22m 46s
mutants (12)	25m 39s
mutants (6)	23m 53s
mutants (8)	26m 22s
kani (light1)	18m 43s
coverage	0s
repro	0s
miri	0s
fuzz	-7s
fuzz-coverage	-9s
	17h 30m 37s