Fix benchmark CI to use gauge options.
commit2770f88d53c1b4699621e39a4fa254c0cd13f19b
authorJohn MacFarlane <jgm@berkeley.edu>
dateTue 16 Mar 2021, 13:01 (6 years ago)
parentd0af579
.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='--timeout=6 +RTS -T -RTS'
260+ cabal $v2-bench --enable-optimization=1 --benchmark-options='--small'