Merge pull request #5548 from unisonweb/no-ExitSuccess-message #10018

Job	Run time
build ucm (ubuntu-20.04)	3m 17s
build ucm (macOS-13)	12m 22s
ormolu	6s
build ucm (windows-2019)	9m 11s
generate jit source	6s
run transcripts (ubuntu-20.04)	4m 12s
run interpreter tests (ubuntu-20.04)	1m 8s
run transcripts (macos-13)	7m 40s
run interpreter tests (macos-13)	2m 4s
run transcripts (windows-2019)	7m 11s
build jit binary / build jit binary (ubuntu-20.04)	10s
build jit binary / build jit binary (macOS-13)	16s
build jit binary / build jit binary (windows-2019)	19s
test jit / test jit (ubuntu-20.04)	6s
test jit / test jit (macOS-13)	14s
	48m 22s

Provide feedback