Fix benchmark in ci.

This commit is contained in:
John MacFarlane 2021-03-17 17:08:42 -07:00
parent c6e5cf2e74
commit 0075a456cc

View file

@ -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'