diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-02-26 12:48:33 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-26 12:48:33 -0800 |
commit | f2adf69b7c364b45f75c3b5027d8a24213fd4001 (patch) | |
tree | 041ed83754893e9d465d0b38f6c7b5af2e4a77ee /.github | |
parent | 0b9fe94d346b7448a0e092cc9f43013aadfe9548 (diff) |
Fix -Werror issues with clang and use clang for debug-cln build. (#6004)
This fixes some issues that break the nightly ASAN builds with clang.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 753872ae1..fd6b65998 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -10,7 +10,7 @@ jobs: production, production-clang, debug, - debug-cln + debug-cln-clang ] exclude: @@ -18,7 +18,7 @@ jobs: os: macos-latest - name: debug os: macos-latest - - name: debug-cln + - name: debug-cln-clang os: macos-latest include: @@ -43,9 +43,10 @@ jobs: os: ubuntu-latest exclude_regress: 1-4 - - name: debug-cln + - name: debug-cln-clang config: debug --symfpu --cln --gpl --no-debug-symbols --no-proofs --poly - cache-key: debug-cln + cache-key: debug-cln-clang + env: CC=clang CXX=clang++ os: ubuntu-latest exclude_regress: 1-4 |