diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-04-18 21:04:24 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-04-18 21:04:24 -0700 |
| commit | 6c176093988834b67a768924eaaf4cdd2d33ea4c (patch) | |
| tree | 7bcb2943f977c5550667085fce6f8a381bb403a4 /.github | |
| parent | b77dfe5fcdae8f27005418c53c7f6d0f63dc782a (diff) | |
| download | pandoc-6c176093988834b67a768924eaaf4cdd2d33ea4c.tar.gz | |
Revert "Hide successes on cabal CI builds"
This reverts commit 671bb42c43ff82cbbbdfce339ce1b0184274015d.
It didn't work with some older cabal versions.
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 3db223537..4b0e04c2f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -91,7 +91,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 --test-option=--hide-successes + cabal v2-test --disable-optimization windows: |