Merge pull request #2331 from quentin/osxci

try to workaround xcode 14 issue
souffle-lang · Oct 20, 2022 · 29c5921 · 29c5921
2 parents d978549 + ff61f7a
commit 29c5921
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/CI-Tests.yml b/.github/workflows/CI-Tests.yml
@@ -110,9 +110,15 @@ jobs:
       matrix:
         chunk: ${{ fromJSON(needs.Test-Setup.outputs.chunks) }}
 
-    runs-on: macos-latest
+    runs-on: macos-12
 
     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@v2