Spec fix and tests #1231

Job	Run time
Prepare the run	7s
linux-x64-hs-zero / build (debug)	3m 35s
linux-x64 / build (debug)	3m 36s
linux-x64-hs-optimized / build (debug)	3m 34s
linux-aarch64 / build (release)	3m 34s
linux-x64-hs-minimal / build (debug)	3m 34s
linux-x64-static / build (release)	3m 36s
macos-aarch64 / build (debug)	3m 43s
linux-cross-compile / build (riscv64)	3m 35s
windows-x64 / build (release)	3m 33s
macos-x64 / build (debug)	3m 59s
linux-cross-compile / build (s390x)	3m 34s
linux-aarch64 / build (debug)	3m 34s
linux-x64-hs-nopch / build (debug)	3m 35s
linux-cross-compile / build (ppc64le)	3m 36s
linux-x64 / build (release)	3m 36s
docs / build (debug)	2m 58s
linux-cross-compile / build (arm)	3m 34s
windows-x64 / build (debug)	22s
macos-aarch64 / build (release)	3m 44s
windows-aarch64 / build (release)	3m 33s
windows-aarch64 / build (debug)	3m 21s
macos-x64 / build (release)	3m 21s
linux-x64-static-libs / build (release)	3m 35s
alpine-linux-x64	0s
windows-x64	0s
linux-aarch64	0s
linux-x64	0s
linux-x64-static	0s
macos-aarch64	0s
	1h 18m 49s

Provide feedback