Add M1 macOS runner to CI workflow

cvc5 · Feb 22, 2024 · 5645fef · 5645fef
1 parent adae0d8
commit 5645fef
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -8,7 +8,8 @@ jobs:
   test-bot:
     strategy:
       matrix:
-        os: [ubuntu-22.04, macos-13]
+        # macos-13 is an Intel runner, macos-14 is Apple Silicon
+        os: [ubuntu-22.04, macos-13, macos-14]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Set up Homebrew