chore: bump macos versions used in CI

The macOS 12 runner image will be removed by December 3rd, 2024 See actions/runner-images#10721
souffle-lang · Oct 18, 2024 · d4d7851 · d4d7851
1 parent e6cc668
commit d4d7851
Showing 1 changed file with 2 additions and 13 deletions.
diff --git a/.github/workflows/CI-Tests.yml b/.github/workflows/CI-Tests.yml
@@ -113,15 +113,9 @@ jobs:
       matrix:
         chunk: ${{ fromJSON(needs.Test-Setup.outputs.chunks) }}
 
-    runs-on: macos-12
+    runs-on: macos-15
 
     steps:
-    - name: Select XCode version
-      uses: maxim-lobanov/setup-xcode@v1
-      with:
-        # Pending https://github.com/actions/runner-images/issues/6350
-        xcode-version: '13.4'
-
     - name: checkout
       uses: actions/checkout@v4
 
@@ -146,14 +140,9 @@ jobs:
       matrix:
         chunk: ${{ fromJSON(needs.Test-Setup.outputs.chunks) }}
 
-    runs-on: macos-14
+    runs-on: macos-16
 
     steps:
-    - name: Select XCode version
-      uses: maxim-lobanov/setup-xcode@v1
-      with:
-        xcode-version: '15.2'
-
     - name: checkout
       uses: actions/checkout@v4