Merge pull request #749 from JasonFengJ9/rmj9criu #135

Job	Run time
Select platforms	1s
linux-x64-hs-nopch / build (debug)	1m 52s
linux-x64-hs-optimized / build (debug)	1m 36s
linux-x64-hs-minimal / build (debug)	1m 33s
linux-x64 / build (debug)	3m 21s
linux-x64 / build (release)	1m 40s
linux-x64-hs-zero / build (debug)	1m 41s
linux-x86 / build (debug)	2m 3s
macos-aarch64 / build (debug)	3m 11s
linux-x86 / build (release)	2m 13s
macos-x64 / build (debug)	2m 58s
macos-aarch64 / build (release)	3m 13s
macos-x64 / build (release)	3m 9s
windows-aarch64 / build (debug)	4m 20s
windows-aarch64 / build (release)	4m 20s
windows-x64 / build (debug)	4m 19s
windows-x64 / build (release)	3m 28s
linux-x86	0s
macos-x64	0s
linux-x64	0s
linux-cross-compile	0s
windows-x64	0s
Remove bundle artifacts	2s
	45m 0s

Provide feedback