diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-09-22 22:32:50 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-22 22:32:50 -0700 |
commit | 5682184264d54476fda63d2e2bfc327449384b5b (patch) | |
tree | 9f8d2150ff69242812fd120b572a9467a321be8d /.github | |
parent | f60ae7f3277ea4ccb1c5f018b31cb4139f2ad8f1 (diff) | |
download | pandoc-5682184264d54476fda63d2e2bfc327449384b5b.tar.gz |
Fix tests in linux ci (GitHub).
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 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: |