Merge pull request #749 from JasonFengJ9/rmj9criu #147

Job	Run time
Select platforms	1s
linux-x64-hs-minimal / build (debug)	1m 39s
linux-x64 / build (debug)	1m 28s
linux-x64-hs-optimized / build (debug)	1m 26s
linux-x64-hs-nopch / build (debug)	1m 33s
linux-x64 / build (release)	1m 26s
linux-x86 / build (debug)	1m 32s
linux-x64-hs-zero / build (debug)	1m 38s
macos-aarch64 / build (debug)	3m 0s
linux-x86 / build (release)	1m 26s
macos-x64 / build (debug)	2m 55s
macos-aarch64 / build (release)	2m 53s
macos-x64 / build (release)	2m 54s
windows-aarch64 / build (debug)	3m 47s
windows-x64 / build (debug)	3m 8s
windows-aarch64 / build (release)	3m 49s
windows-x64 / build (release)	3m 16s
linux-cross-compile	0s
linux-x64	0s
linux-x86	0s
macos-x64	0s
windows-x64	0s
Remove bundle artifacts	2s
	37m 53s

Provide feedback