Fix benchmark in ci.
commit0075a456cc9d133e679a909452ae7aa12764240d
authorJohn MacFarlane <jgm@berkeley.edu>
dateWed 17 Mar 2021, 17:08 (6 years ago)
parentc6e5cf2
.github/workflows/ci.yml+1−1
@@ -257,4 +257,4 @@ jobs:
257257 cabal $v2-build --enable-optimization=1 --enable-benchmarks --disable-tests 2>&1 | tee build.log
258258 # fail if warnings in local build
259259 ! grep -q ": *[Ww]arning:" build.log || exit 1
260− cabal $v2-bench --enable-optimization=1 --benchmark-options='--small'
260+ cabal $v2-bench --enable-optimization=1 --benchmark-options='--timeout=6 +RTS -T -RTS'