diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-11-30 12:07:35 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-11-30 12:07:35 -0800 |
commit | be826cd39e36515ba7e2f8771b2391a4c25797e1 (patch) | |
tree | 42fad99dbca820f2c4afae4c54146c74b1ffdd44 /.github/workflows | |
parent | 9ffe6bbe5392d9541a9036e3825b15d33adab5ac (diff) | |
download | pandoc-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.yml | 2 |
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: |