diff options
| author | John MacFarlane <[email protected]> | 2022-10-13 23:46:07 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-10-13 23:46:07 -0700 |
| commit | 27ecd894caa178a638d98212375df33796e9e7af (patch) | |
| tree | 5a6ad6deb2b2731b258f979179d1553958fca36d | |
| parent | 7312e36104f99f32ad44e36cbba948bd60a1848a (diff) | |
CI: make sure we catch benchmark build failure.
| -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 b59b741f1..c893efa9e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -105,7 +105,7 @@ jobs: run: | cabal build ${{ matrix.versions.cabalopts }} --enable-tests --disable-optimization 2>&1 | tee build.log # fail if warnings in local build - ! grep -q ": *[Ww]arning:" build.log || exit 1 + ! grep -q ": *[Ww]arning:\|: *error:" build.log || exit 1 cabal test all ${{ matrix.versions.cabalopts }} --disable-optimization ${{ matrix.versions.testopts }} windows: |