diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-03-01 10:36:58 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-01 18:36:58 +0000 |
commit | 7029d2c168cb49d3b9552f505a00cc7f538bc100 (patch) | |
tree | 10c4dc80c3ef9c41d2486a9f26d941da62330e30 /.github | |
parent | 9b48d6e5abd3682ec64cd3f6c9b024fa2a7321aa (diff) |
Make -Werror optional but enable it for CI. (#6032)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fd6b65998..abd47ec97 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -155,7 +155,8 @@ jobs: run: | ${{ matrix.env }} ./configure.sh ${{ matrix.config }} \ --prefix=$(pwd)/build/install \ - --unit-testing + --unit-testing \ + --werror - name: Build run: make -j2 |