From: Mathias Preiner Date: Mon, 28 Mar 2022 20:48:07 +0000 (-0700) Subject: ci: Enable all language bindings for debug build. (#8419) X-Git-Tag: cvc5-1.0.0~150 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a88c1f207e55a9bd6084a6b56ee449a3e4d1cf9e;p=cvc5.git ci: Enable all language bindings for debug build. (#8419) --- diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bea9bec6d..e825ab3d1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -49,10 +49,11 @@ jobs: - name: ubuntu:production-dbg os: ubuntu-18.04 - config: production --auto-download --assertions --tracing --unit-testing --java-bindings --editline + config: production --auto-download --assertions --tracing --unit-testing --all-bindings --editline cache-key: dbg exclude_regress: 3-4 run_regression_args: --tester base --tester model --tester synth --tester abduct --tester proof --tester dump + python-bindings: true - name: ubuntu:production-dbg-clang os: ubuntu-latest