diff options
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cc5b0e995..0d9ed04a3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -44,7 +44,7 @@ jobs: - name: ubuntu:production-dbg-clang os: ubuntu-latest env: CC=clang CXX=clang++ - config: production --auto-download --assertions --tracing --unit-testing --cln --gpl + config: production --auto-download --assertions --tracing --cln --gpl cache-key: dbgclang exclude_regress: 3-4 run_regression_args: --no-check-proofs @@ -175,7 +175,6 @@ jobs: run: | ${{ matrix.env }} ./configure.sh ${{ matrix.config }} \ --prefix=$(pwd)/build/install \ - --unit-testing \ --werror - name: Build |