build

LeanCheck.IO: use void #69

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test	33s
test-with-stack	2m 47s
test-with-ghc (9.8)	2m 1s
test-with-hugs	2m 46s
test-with-ghc (9.6)	2m 2s
test-with-ghc (9.4)	2m 2s
test-with-ghc (9.2)	2m 1s
test-with-ghc (9.0)	2m 2s
test-with-ghc (8.10)	2m 3s
test-with-ghc (8.8)	2m 0s
test-with-ghc (8.6)	2m 1s
test-with-ghc (8.4)	1m 58s
test-with-ghc (8.2)	2m 1s
test-with-ghc (7.10)	2m 1s
	28m 18s