diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index abcb3d6e0..eb1d9a3e8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -65,7 +65,7 @@ jobs: export PATH=/opt/cabal/bin:/opt/ghc/bin:$PATH cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log # fail if warnings in local build - ! grep -q ": *[Ww]arning:" build.log + ! grep -q ": *[Ww]arning:" build.log || exit 1 cabal v2-test --disable-optimization windows: |