diff options
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a0b7d1c74..7f8cefaa7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -66,7 +66,7 @@ jobs: cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log # fail if warnings in local build ! grep -q ": *[Ww]arning:" build.log || exit 1 - cabal v2-test --disable-optimization + cabal v2-test --disable-optimization --test-option=--hide-successes windows: @@ -85,7 +85,7 @@ jobs: - name: Build and test shell: cmd run: | - stack test --fast + stack test --fast --test-arguments='--hide-successes' macos: @@ -103,4 +103,4 @@ jobs: ./stack test --dependencies-only --fast - name: Build and test run: | - ./stack test --fast + ./stack test --fast --test-arguments='--hide-successes' |