From e07808142dc96b94ca417dc7a5538ab21785a1e1 Mon Sep 17 00:00:00 2001 From: Sanchayan Maity Date: Thu, 17 Dec 2020 13:03:42 +0530 Subject: [PATCH] gitlab-ci: Update CI configuration Use system ghc and also cache .stack-work. --- .gitlab-ci.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d23d66c..ea47252 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,11 +8,12 @@ pages: paths: - _cache - .stack + - .stack-work before_script: - - stack install --only-dependencies - - stack build + - stack --system-ghc install --only-dependencies + - stack --system-ghc build script: - - stack exec site build + - stack --system-ghc exec site build artifacts: paths: - public