diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 85db247a00daf28980b743a18e1262041b5d84d6..f2df09bbbd9fdd2c262aa9acfbd1c1804ef4ec92 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,4 +10,4 @@ cache: - .stack-root/ test: - script: stack --no-terminal --system-ghc --no-install-ghc build --test --haddock --no-haddock-deps + script: stack --no-terminal --system-ghc --no-install-ghc build --test --haddock --no-haddock-deps --bench --no-run-benchmarks