Use macos-15-intel runners for x86_64

Author: bjorn3

.github/workflows/abi-cafe.yml

@@ -28,10 +28,9 @@ jobs:
           - os: ubuntu-24.04-arm
             env:
               TARGET_TRIPLE: aarch64-unknown-linux-gnu
-          # FIXME(rust-lang/rust#145699)
-          #- os: macos-13
-          #  env:
-          #    TARGET_TRIPLE: x86_64-apple-darwin
+          - os: macos-15-intel
+            env:
+              TARGET_TRIPLE: x86_64-apple-darwin
           - os: macos-latest
             env:
               TARGET_TRIPLE: aarch64-apple-darwin

.github/workflows/main.yml

@@ -56,7 +56,7 @@ jobs:
           - os: ubuntu-24.04-arm
             env:
               TARGET_TRIPLE: aarch64-unknown-linux-gnu
-          - os: macos-13
+          - os: macos-15-intel
             env:
               TARGET_TRIPLE: x86_64-apple-darwin
           - os: macos-latest
@@ -187,7 +187,7 @@ jobs:
           - os: ubuntu-24.04-arm
             env:
               TARGET_TRIPLE: aarch64-unknown-linux-gnu
-          - os: macos-13
+          - os: macos-15-intel
             env:
               TARGET_TRIPLE: x86_64-apple-darwin
           - os: macos-latest