aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-11-30 12:07:35 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2019-11-30 12:07:35 -0800
commitbe826cd39e36515ba7e2f8771b2391a4c25797e1 (patch)
tree42fad99dbca820f2c4afae4c54146c74b1ffdd44 /.github/workflows
parent9ffe6bbe5392d9541a9036e3825b15d33adab5ac (diff)
downloadpandoc-be826cd39e36515ba7e2f8771b2391a4c25797e1.tar.gz
Don't use --test-option with cabal.
It's only supported in later versions, apparently.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5150c3e2c..8efb059de 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 --test-options='--hide-successes'
+ cabal v2-test --disable-optimization
windows: