aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-09-22 18:15:44 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2019-09-22 18:15:44 -0700
commit1138d5bb36b52bb412c539fc85a74307adb418ce (patch)
tree8271a0617620e167c2327784610245cb792029da /.github/workflows
parent74e25c5480f62303e0123ee2562cb24075ded9d4 (diff)
downloadpandoc-1138d5bb36b52bb412c539fc85a74307adb418ce.tar.gz
Fix cabal command in 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 c339282d2..847d013ac 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -65,7 +65,7 @@ jobs:
- name: Build and test
run: |
export PATH=/opt/cabal/bin:/opt/ghc/bin:$PATH
- cabal v2-install --enable-tests --run-tests --disable-optimization 2>&1 | tee build.log
+ cabal v2-test --enable-tests --run-tests --disable-optimization 2>&1 | tee build.log
# fail if warnings in local build
! grep -q "[Ww]arning:" build.log