Merge branch 'master' into 8314250-dump-error #135

Job	Run time
Select platforms	2s
linux-x64-hs-nopch / build (debug)	1m 12s
docs / build (debug)	1m 12s
linux-x64 / build (debug)	1m 13s
linux-x64-hs-minimal / build (debug)	1m 11s
linux-x64-hs-optimized / build (debug)	1m 11s
linux-x64 / build (release)	1m 12s
linux-x64-hs-zero / build (debug)	1m 11s
linux-x86 / build (debug)	1m 13s
linux-x86 / build (release)	1m 12s
macos-aarch64 / build (debug)	1m 8s
macos-x64 / build (debug)	55s
macos-aarch64 / build (release)	1m 7s
windows-aarch64 / build (debug)	52s
macos-x64 / build (release)	56s
windows-aarch64 / build (release)	56s
windows-x64 / build (debug)	55s
windows-x64 / build (release)	56s
macos-x64	1s
windows-x64	1s
macos-aarch64	1s
linux-x64	1s
linux-cross-compile	1s
linux-x86	1s
Remove bundle artifacts	4s
	18m 44s

Provide feedback