aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-09-23 09:49:54 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2019-09-23 09:49:54 -0700
commit67822bd925163eeceb35d0275f43d6261ea198e0 (patch)
tree89f63d49a7432cead203311c5b0533830661a825 /.github/workflows
parent4b6a76c19668faf08044d264728df2148d48d0cd (diff)
downloadpandoc-67822bd925163eeceb35d0275f43d6261ea198e0.tar.gz
Fix linux ci.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4fcc6532f..6d20f0ca5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -68,7 +68,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
- cabal v2-test
+ cabal v2-test --disable-optimization
windows: