ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-wasi	5m 6s
build (ubuntu-22.04, 8.0)	4m 22s
build (ubuntu-22.04, 8.2)	3m 23s
build (ubuntu-22.04, 8.4)	3m 29s
build (ubuntu-22.04, 8.6)	3m 45s
build (ubuntu-22.04, 8.8)	3m 36s
build (ubuntu-22.04, 8.10)	3m 39s
build (ubuntu-22.04, 9.0)	4m 5s
build (ubuntu-22.04, 9.2)	3m 34s
build (ubuntu-22.04, 9.4)	4m 4s
build (ubuntu-22.04, 9.6)	3m 19s
build (ubuntu-22.04, 9.8)	2m 56s
build (macOS-latest, latest)	9m 46s
build (windows-latest, latest)	5m 56s
	1h 1m 0s