Backport 1b0f612e5e08cfa1581cf22433b36b5f075c0f23

Author: gnu-andrew

.github/workflows/submit.yml

@@ -1350,7 +1350,7 @@ jobs:
 
   macos_x64_build:
     name: macOS x64
-    runs-on: "macos-13"
+    runs-on: "macos-15-intel"
     needs: prerequisites
     if: needs.prerequisites.outputs.should_run != 'false' && needs.prerequisites.outputs.platform_macos_x64 != 'false'
 
@@ -1417,7 +1417,7 @@ jobs:
         run: brew install make gawk
 
       - name: Select Xcode version
-        run: sudo xcode-select --switch /Applications/Xcode_14.3.1.app/Contents/Developer
+        run: sudo xcode-select --switch /Applications/Xcode_16.4.app/Contents/Developer
 
       - name: Configure
         run: >
@@ -1451,7 +1451,7 @@ jobs:
 
   macos_x64_test:
     name: macOS x64
-    runs-on: "macos-13"
+    runs-on: "macos-15-intel"
     needs:
       - prerequisites
       - macos_x64_build
@@ -1540,7 +1540,7 @@ jobs:
         run: brew install make gawk
 
       - name: Select Xcode version
-        run: sudo xcode-select --switch /Applications/Xcode_14.3.1.app/Contents/Developer
+        run: sudo xcode-select --switch /Applications/Xcode_16.4.app/Contents/Developer
 
       - name: Run tests
         run: >