diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-11-27 20:39:05 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-11-27 20:39:05 -0800 |
| commit | bd175d13b6004086ccd3862822f97c7f090cadb4 (patch) | |
| tree | dbf2df90a0e3d45a8734ca99274c7dcab629b5a6 | |
| parent | 97387f8fac86a2ae7e248bd1a169a3bc94b35d2a (diff) | |
| download | pandoc-bd175d13b6004086ccd3862822f97c7f090cadb4.tar.gz | |
Don't do parallel build with cabal.
Hopefully this fixes the apparent OOM error on GitHub CI?
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a0b7d1c74..bfceec2ca 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -63,10 +63,10 @@ jobs: - name: Build and test run: | export PATH=/opt/cabal/${{ matrix.versions.cabal }}/bin:/opt/ghc/${{ matrix.versions.ghc }}/bin:$PATH - cabal v2-build --enable-tests --disable-optimization 2>&1 | tee build.log + cabal v2-build --enable-tests -j1 --disable-optimization 2>&1 | tee build.log # fail if warnings in local build ! grep -q ": *[Ww]arning:" build.log || exit 1 - cabal v2-test --disable-optimization + cabal v2-test -j1 --disable-optimization windows: |