diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-09-22 18:15:44 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-22 18:15:44 -0700 |
commit | 1138d5bb36b52bb412c539fc85a74307adb418ce (patch) | |
tree | 8271a0617620e167c2327784610245cb792029da /.github/workflows | |
parent | 74e25c5480f62303e0123ee2562cb24075ded9d4 (diff) | |
download | pandoc-1138d5bb36b52bb412c539fc85a74307adb418ce.tar.gz |
Fix cabal command in linux ci.
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 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 |