diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-20 15:26:49 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-20 22:26:49 +0000 |
commit | e0d16189056ab905b2b9e8a23cf62fcca76c106b (patch) | |
tree | 55127e1573c3672531e72323db529587f5016cab /.github | |
parent | f63d4d559f4e6eacc1597808aae462acc72229b0 (diff) |
Disable unit testing for clang builds. (#6595)
We currently have issues with clang 11 failing for white unit tests.
This disables unit tests for clang builds.
Diffstat (limited to '.github')
-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 |