ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-wasi	5m 16s
build (ubuntu-22.04, 8.0)	6m 46s
build (ubuntu-22.04, 8.2)	5m 14s
build (ubuntu-22.04, 8.4)	4m 23s
build (ubuntu-22.04, 8.6)	5m 28s
build (ubuntu-22.04, 8.8)	5m 18s
build (ubuntu-22.04, 8.10)	5m 17s
build (ubuntu-22.04, 9.0)	5m 21s
build (ubuntu-22.04, 9.2)	5m 29s
build (ubuntu-22.04, 9.4)	5m 46s
build (ubuntu-22.04, 9.6)	4m 23s
build (ubuntu-22.04, 9.8)	4m 4s
build (macOS-latest, latest)	10m 37s
build (windows-latest, latest)	27m 15s
	1h 40m 37s