ci

Print the number of QuickCheck shrinks in the progress bar #242

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-wasi	4m 26s
build (ubuntu-22.04, 8.0)	4m 12s
build (ubuntu-22.04, 8.2)	3m 12s
build (ubuntu-22.04, 8.4)	3m 28s
build (ubuntu-22.04, 8.6)	3m 48s
build (ubuntu-22.04, 8.8)	3m 39s
build (ubuntu-22.04, 8.10)	3m 36s
build (ubuntu-22.04, 9.0)	3m 53s
build (ubuntu-22.04, 9.2)	3m 40s
build (ubuntu-22.04, 9.4)	4m 21s
build (ubuntu-22.04, 9.6)	4m 27s
build (ubuntu-22.04, 9.8)	2m 43s
build (macOS-latest, latest)	6m 8s
build (windows-latest, latest)	8m 21s
	59m 54s