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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-wasi	5m 24s
build (ubuntu-22.04, 8.0)	7m 22s
build (ubuntu-22.04, 8.2)	5m 11s
build (ubuntu-22.04, 8.4)	4m 32s
build (ubuntu-22.04, 8.6)	5m 20s
build (ubuntu-22.04, 8.8)	5m 13s
build (ubuntu-22.04, 8.10)	5m 30s
build (ubuntu-22.04, 9.0)	5m 15s
build (ubuntu-22.04, 9.2)	5m 0s
build (ubuntu-22.04, 9.4)	6m 10s
build (ubuntu-22.04, 9.6)	5m 57s
build (ubuntu-22.04, 9.8)	4m 5s
build (macOS-latest, latest)	7m 34s
build (windows-latest, latest)	9m 51s
	1h 22m 24s