Use macOS 13 for x86_64 macOS runners (#14136)

We'd need macOS 13 Ventura, which supports
Metal 3 by default.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2d30ccd..6d4dbd2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -166,7 +166,7 @@
   build_test_all_macos_x86_64:
     needs: setup
     if: fromJson(needs.setup.outputs.should-run) && ! fromJson(needs.setup.outputs.is-pr)
-    runs-on: macos-12-xl
+    runs-on: macos-13-xl
     env:
       BUILD_DIR: build-macos
     defaults: