diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-11-30 11:38:09 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-11-30 11:38:09 -0800 |
| commit | 9ffe6bbe5392d9541a9036e3825b15d33adab5ac (patch) | |
| tree | 473dbf14c41b2e6002ce622b9c0731fd59ef595f /.github | |
| parent | 866114565c5dc9ab8864c476e5c443e8e4c05eea (diff) | |
| download | pandoc-9ffe6bbe5392d9541a9036e3825b15d33adab5ac.tar.gz | |
Try --test-options with cabal.
--test-option seems not to work (though it works with cabal 3+).
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 7f8cefaa7..5150c3e2c 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-option=--hide-successes + cabal v2-test --disable-optimization --test-options='--hide-successes' windows: |