Try --test-options with cabal.
--test-option seems not to work (though it works with cabal 3+).
commit9ffe6bbe5392d9541a9036e3825b15d33adab5ac
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 30 Nov 2019, 11:38 (7 years ago)
parent8661145
.github/workflows/ci.yml+1−1
@@ -66,7 +66,7 @@ jobs:
6666 cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
6767 # fail if warnings in local build
6868 ! grep -q ": *[Ww]arning:" build.log || exit 1
69− cabal v2-test --disable-optimization --test-option=--hide-successes
69+ cabal v2-test --disable-optimization --test-options='--hide-successes'
7070
7171 windows:
7272