Fix runner number

Author: mmghannam

.github/workflows/build_and_test.yml

@@ -14,7 +14,7 @@ jobs:
       matrix:
         os: [
           ubuntu-latest,
-          macos-12,
+          macos-13,
           macos-14, # macOS arm runner
           windows-latest,
         ]
@@ -32,7 +32,7 @@ jobs:
       matrix:
         os: [
           ubuntu-latest,
-          macos-12,
+          macos-13,
           macos-14, # macOS arm runner
           windows-latest,
         ]
@@ -49,7 +49,7 @@ jobs:
     strategy:
       matrix:
         os: [
-          macos-12,
+          macos-13,
           macos-14,
           ubuntu-latest,
           windows-latest,
@@ -58,7 +58,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - name: Install bison
-        if: ${{ matrix.os == 'macos-12' || matrix.os == 'macos-14' }}
+        if: ${{ matrix.os == 'macos-13' || matrix.os == 'macos-14' }}
         run: |
           brew install bison gcc
       - name: Test from-source