ci: Build all bindings for macOS (cvc5#10300)

ajreynol · Jan 24, 2024 · dab1efa · dab1efa
1 parent 4af5969
commit dab1efa
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -25,23 +25,21 @@ jobs:
 
           - name: macos:production
             os: macos-11
-            config: production --auto-download --editline
-            # config: production --auto-download --python-bindings --editline
+            config: production --auto-download --all-bindings --editline
             cache-key: production
             strip-bin: strip
-            python-bindings: false  # Temporarily disabling checking of python bindings on MacOS.
+            python-bindings: true
             check-examples: true
             package-name: cvc5-macOS
             exclude_regress: 3-4
             run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump
 
           - name: macos:production-arm64
             os: macos-11
-            config: production --auto-download --editline --arm64
-            # config: production --auto-download --python-bindings --editline --arm64
+            config: production --auto-download --all-bindings --editline --arm64
             cache-key: production-arm64
             strip-bin: strip
-            python-bindings: false  # Temporarily disabling checking of python bindings on MacOS.
+            python-bindings: true
             package-name: cvc5-macOS-arm64
 
           - name: win64:production