Switch mac (x86_64) github runner from macos-13 to macos-15-intel

Signed-off-by: willieyz <[email protected]>

Author: willieyz

.github/workflows/base.yml

@@ -42,7 +42,7 @@ jobs:
            name: 'x86_64'
          - runner: macos-latest
            name: 'macos (aarch64)'
-         - runner: macos-13
+         - runner: macos-15-intel
            name: 'macos (x86_64)'
         exclude:
           - {external: true,
@@ -103,7 +103,7 @@ jobs:
            name: 'x86_64'
          - runner: macos-latest
            name: 'macos (aarch64)'
-         - runner: macos-13
+         - runner: macos-15-intel
            name: 'macos (x86_64)'
         exclude:
           - {external: true,
@@ -211,7 +211,7 @@ jobs:
     name: Quickcheck lib
     strategy:
       matrix:
-        system: [macos-latest, macos-13, ubuntu-latest, pqcp-arm64]
+        system: [macos-latest, macos-15-intel, ubuntu-latest, pqcp-arm64]
     runs-on: ${{ matrix.system }}
     steps:
       - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0

.github/workflows/ci.yml

@@ -22,7 +22,7 @@ jobs:
            arch: mac
            mode: native
            nix_shell: ci
-         - runner: macos-13
+         - runner: macos-15-intel
            name: 'MacOS (x86_64)'
            arch: mac
            mode: native