ci: update x86 macOS to version 13 #5609

Job	Run time
Provide additional context for the workflow	1s
Build release binaries (Linux)	6m 48s
Build release binaries (macOS)	7m 53s
Build release binaries (macOS (M1))	3m 14s
Build release binaries (Windows)	10m 50s
Build source archive	2m 52s
Build docs and release artifacts (Linux)	7m 19s
Test the compiler and stdlib (Linux, batch #0)	5m 54s
Build docs and release artifacts (macOS)	8m 19s
Build and test tooling (Linux)	2m 53s
Test the compiler and stdlib (Linux, batch #1)	5m 28s
Build docs and release artifacts (macOS (M1))	4m 22s
Build and test tooling (macOS)	3m 26s
Test the compiler and stdlib (macOS, batch #0)	7m 35s
Build docs and release artifacts (Windows)	12m 34s
Build and test tooling (macOS (M1))	2m 31s
Test the compiler and stdlib (macOS, batch #1)	8m 48s
Build and test tooling (Windows)	3m 26s
Test the compiler and stdlib (macOS (M1), batch #0)	4m 33s
Test the compiler and stdlib (macOS (M1), batch #1)	3m 59s
Test the compiler and stdlib (Windows, batch #0)	10m 12s
Test the compiler and stdlib (Windows, batch #1)	10m 17s
Build release artifacts from source archive (Linux)	10m 4s
Build release artifacts from source archive (macOS)	7m 55s
Build release artifacts from source archive (macOS (M1))	5m 8s
Build release artifacts from source archive (Windows)	17m 52s
Test release artifacts	42s
All check passed	1s
	2h 54m 56s

Provide feedback