diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-02-22 22:09:32 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-02-22 22:09:32 -0800 |
| commit | 21d0b4745b46f8622b31647c81a9d9178b1a579d (patch) | |
| tree | ae27284775871cd9e3fde1bd5e6fb17b3894d5a7 /.github | |
| parent | 15bf01cd63d63e655e8fa90bc986f3dd29a38bff (diff) | |
| download | pandoc-21d0b4745b46f8622b31647c81a9d9178b1a579d.tar.gz | |
benchmark CI improvements.
- don't build tests, just benchmarks.
- get allocation info.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b1a5e3b0f..5337527ed 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -239,12 +239,12 @@ jobs: run: | v2=$([ "${{ matrix.versions.cabal }}" = "2.2" ] && printf 'new' || printf 'v2') cabal $v2-update - cabal $v2-build --dependencies-only --enable-optimization=1 --enable-benchmarks + cabal $v2-build --dependencies-only --enable-optimization=1 --enable-benchmarks --disable-tests - name: Build and test run: | v2=$([ "${{ matrix.versions.cabal }}" = "2.2" ] && printf 'new' || printf 'v2') - cabal $v2-build --enable-optimization=1 --enable-benchmarks 2>&1 | tee build.log + cabal $v2-build --enable-optimization=1 --enable-benchmarks --disable-tests 2>&1 | tee build.log # fail if warnings in local build ! grep -q ": *[Ww]arning:" build.log || exit 1 - cabal $v2-bench --enable-optimization=1 + cabal $v2-bench --enable-optimization=1 --benchmark-options='--timeout=6 +RTS -T -RTS' |