Disable unit testing for clang builds. (#6595)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 20 May 2021 22:26:49 +0000 (15:26 -0700)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 22:26:49 +0000 (22:26 +0000)
We currently have issues with clang 11 failing for white unit tests.
This disables unit tests for clang builds.

.github/workflows/ci.yml

index cc5b0e995d024c4303a2ee4027c50dc1e5c668cc..0d9ed04a336d371bcd1fee7d5f590beb2f0690ec 100644 (file)
@@ -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