Avoid running earlier successes with --quickcheck-replay #193

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-wasi	4m 34s
build (ubuntu-22.04, 8.0)	4m 39s
build (ubuntu-22.04, 8.2)	4m 0s
build (ubuntu-22.04, 8.4)	4m 12s
build (ubuntu-22.04, 8.6)	3m 47s
build (ubuntu-22.04, 8.8)	4m 24s
build (ubuntu-22.04, 8.10)	3m 38s
build (ubuntu-22.04, 9.0)	3m 54s
build (ubuntu-22.04, 9.2)	3m 51s
build (ubuntu-22.04, 9.4)	4m 16s
build (ubuntu-22.04, 9.6)	3m 8s
build (ubuntu-22.04, 9.8)	3m 16s
build (macOS-latest, latest)	9m 32s
build (windows-latest, latest)	14m 47s
	1h 11m 58s