ci

Add option for printing the number of QuickCheck tests and shrinks #241

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-wasi	4m 42s
build (ubuntu-22.04, 8.0)	4m 18s
build (ubuntu-22.04, 8.2)	3m 14s
build (ubuntu-22.04, 8.4)	3m 18s
build (ubuntu-22.04, 8.6)	3m 59s
build (ubuntu-22.04, 8.8)	3m 40s
build (ubuntu-22.04, 8.10)	3m 45s
build (ubuntu-22.04, 9.0)	3m 41s
build (ubuntu-22.04, 9.2)	3m 41s
build (ubuntu-22.04, 9.4)	4m 13s
build (ubuntu-22.04, 9.6)	4m 27s
build (ubuntu-22.04, 9.8)	3m 1s
build (macOS-latest, latest)	7m 35s
build (windows-latest, latest)	8m 53s
	1h 2m 27s