From 5ec83b50e5fb00eaab8a201eab8a8196b9a61536 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 24 Jul 2018 09:33:15 +0200
Subject: [PATCH] Build (don't run) benchmarks in CI

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 85db247..f2df09b 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
-- 
GitLab