Fix merge workflow #4095

Job	Run time
Provide additional context for the workflow	7s
Build release binaries (Linux)	13m 52s
Build release binaries (macOS)	12m 24s
Build source archive	5m 32s
Build and test tooling (Linux)	4m 33s
Build docs and release artifacts (Linux)	14m 58s
Build and test tooling (macOS)	5m 10s
Test the compiler and stdlib (Linux, batch #0)	10m 0s
Build docs and release artifacts (macOS)	11m 23s
Test the compiler and stdlib (Linux, batch #1)	8m 38s
Test the compiler and stdlib (macOS, batch #0)	10m 12s
Test the compiler and stdlib (macOS, batch #1)	9m 25s
Build release artifacts from source archive (Linux)	13m 50s
Build release artifacts from source archive (macOS)	13m 29s
Test release artifacts	1m 58s
All check passed	1s
	2h 15m 32s

Provide feedback