CI: make sure we catch benchmark build failure.

2026-09-24 15:44:59 +08:00 · 2022-10-13 23:46:07 -07:00
parent 7312e36104
commit 27ecd894ca
1 changed files with 1 additions and 1 deletions
@@ -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: