other

Fix cabal check #110

Job	Run time
wasi (9.6)	2m 3s
bundled-c-zlib (ubuntu-latest, latest)	1m 58s
bundled-c-zlib (windows-latest, latest)	10m 7s
build (windows-latest, 8.0)	5m 18s
i386	2m 52s
bundled-c-zlib (macOS-latest, latest)	3m 33s
wasi (9.8)	2m 25s
build (windows-latest, 8.2)	8m 14s
build (windows-latest, 8.4)	6m 48s
build (windows-latest, 9.2)	5m 9s
build (windows-latest, latest)	6m 11s
build (macOS-latest, 8.0)	4m 48s
build (macOS-latest, 8.2)	3m 27s
build (macOS-latest, 8.4)	4m 54s
build (macOS-latest, 9.2)	7m 16s
build (macOS-latest, latest)	2m 26s
	1h 17m 29s

Provide feedback