try to workaround xcode 14 issue

souffle-lang · Oct 20, 2022 · a1329dc · a1329dc
1 parent d978549
commit a1329dc
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