aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-09-22 22:32:50 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2019-09-22 22:32:50 -0700
commit5682184264d54476fda63d2e2bfc327449384b5b (patch)
tree9f8d2150ff69242812fd120b572a9467a321be8d /.github
parentf60ae7f3277ea4ccb1c5f018b31cb4139f2ad8f1 (diff)
downloadpandoc-5682184264d54476fda63d2e2bfc327449384b5b.tar.gz
Fix tests in linux ci (GitHub).
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml3
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 847d013ac..4fcc6532f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -65,9 +65,10 @@ jobs:
- name: Build and test
run: |
export PATH=/opt/cabal/bin:/opt/ghc/bin:$PATH
- cabal v2-test --enable-tests --run-tests --disable-optimization 2>&1 | tee build.log
+ cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
# fail if warnings in local build
! grep -q "[Ww]arning:" build.log
+ cabal v2-test
windows: