Add M1 OSX to CI

goblint · Jul 24, 2024 · c0c0a4f · c0c0a4f
1 parent 30dbc1e
commit c0c0a4f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -29,6 +29,9 @@ jobs:
           - 5.1.0
           - 5.2.0
 
+        include:
+          - os: macos-latest
+            ocaml-version: 4.14.x
 
     runs-on: ${{ matrix.os }}