diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-02-28 16:01:38 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-02-28 16:01:38 -0800 |
| commit | dd56822006aa17287b8003015ec62fa215c00b27 (patch) | |
| tree | 80628597ccf5db8fb291a7ce19f403eedd822581 /.github | |
| parent | 36456070c4cf8a6a122bc2ec05e86dc75fe49551 (diff) | |
| download | pandoc-dd56822006aa17287b8003015ec62fa215c00b27.tar.gz | |
CI: don't use --test-option with older cabal versions (< 3).
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1cc224594..c2ff45249 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -95,10 +95,11 @@ jobs: - name: Build and test run: | v2=$([ "${{ matrix.versions.cabal }}" = "2.2" ] && printf 'new' || printf 'v2') + testopts=$([ "${{ matrix.versions.cabal }}" != "2.2" ] && [ "${{ matrix.versions.cabal }}" != "2.4" ] && printf '--test-option=--hide-successes') 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 $testopts windows: |