diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-04-18 18:15:04 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-04-18 18:15:04 -0700 |
commit | 671bb42c43ff82cbbbdfce339ce1b0184274015d (patch) | |
tree | a7cfcd975d17d45c8583a40e11039ad8e43bec7f /.github/workflows | |
parent | f0c6411ede11b6282f70a668aad434e1420303f1 (diff) | |
download | pandoc-671bb42c43ff82cbbbdfce339ce1b0184274015d.tar.gz |
Hide successes on cabal CI builds
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 83e001027..f42e1574f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -91,7 +91,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 + cabal v2-test --disable-optimization --test-option=--hide-successes windows: |