Add M1 OSX to unlocked CI

goblint · Aug 2, 2024 · 0ad776f · 0ad776f
1 parent e09d31b
commit 0ad776f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -33,6 +33,8 @@ jobs:
           - os: ubuntu-latest
             ocaml-compiler: 4.14.x
             z3: true
+          - os: macos-latest
+            ocaml-compiler: 4.14.x
 
     # customize name to use readable string for apron instead of just a boolean
     # workaround for missing ternary operator: https://github.com/actions/runner/issues/409