@@ -257,4 +257,4 @@ jobs:
257 cabal $v2-build --enable-optimization=1 --enable-benchmarks --disable-tests 2>&1 | tee build.log
257 cabal $v2-build --enable-optimization=1 --enable-benchmarks --disable-tests 2>&1 | tee build.log
258 # fail if warnings in local build
258 # fail if warnings in local build
259 ! grep -q ": *[Ww]arning:" build.log || exit 1
259 ! 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'