From dab1efac59a24dd2cdb569618f540617184e59d6 Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Wed, 24 Jan 2024 14:49:57 -0600 Subject: [PATCH] ci: Build all bindings for macOS (#10300) --- .github/workflows/ci.yml | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6051fe00462..828fff06dc3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -25,11 +25,10 @@ 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 @@ -37,11 +36,10 @@ jobs: - 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