Merge branch 'devel' into mirgen-fix-missing-scope #1714

Job	Run time
Provide additional context for the workflow	1s
Build release binaries (Linux)	6m 50s
Build release binaries (macOS)	6m 7s
Build release binaries (macOS (M1))	3m 12s
Build release binaries (Windows)	10m 41s
Build source archive	2m 34s
Build docs and release artifacts (Linux)	7m 10s
Test the compiler and stdlib (Linux, batch #0)	5m 52s
Build docs and release artifacts (macOS)	12m 8s
Test the compiler and stdlib (Linux, batch #1)	5m 22s
Build and test tooling (Linux)	2m 55s
Build docs and release artifacts (macOS (M1))	5m 6s
Test the compiler and stdlib (macOS, batch #0)	7m 29s
Build docs and release artifacts (Windows)	12m 17s
Test the compiler and stdlib (macOS, batch #1)	8m 8s
Build and test tooling (macOS)	4m 10s
Test the compiler and stdlib (macOS (M1), batch #0)	4m 23s
Build and test tooling (macOS (M1))	2m 7s
Test the compiler and stdlib (macOS (M1), batch #1)	3m 28s
Build and test tooling (Windows)	3m 37s
Test the compiler and stdlib (Windows, batch #0)	10m 20s
Test the compiler and stdlib (Windows, batch #1)	10m 19s
Build release artifacts from source archive (Linux)	10m 4s
Build release artifacts from source archive (macOS)	10m 22s
Build release artifacts from source archive (macOS (M1))	5m 4s
Build release artifacts from source archive (Windows)	18m 4s
Test release artifacts	28s
All check passed	1s
	2h 58m 19s

Provide feedback