diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 17:08:42 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 17:08:42 -0700 |
commit | 0075a456cc9d133e679a909452ae7aa12764240d (patch) | |
tree | f7f582c86e7f6bb82bd6c8eb472c444413f92b35 /.github | |
parent | c6e5cf2e7472ab872a537327a03ef9eb9fcef2a1 (diff) | |
download | pandoc-0075a456cc9d133e679a909452ae7aa12764240d.tar.gz |
Fix benchmark in ci.
Diffstat (limited to '.github')
-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 9a8759f4a..b9c5225f3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -257,4 +257,4 @@ jobs: 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 --benchmark-options='--small' + cabal $v2-bench --enable-optimization=1 --benchmark-options='--timeout=6 +RTS -T -RTS' |