From a88c1f207e55a9bd6084a6b56ee449a3e4d1cf9e Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Mon, 28 Mar 2022 13:48:07 -0700 Subject: [PATCH] ci: Enable all language bindings for debug build. (#8419) --- .github/workflows/ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.30.2