gitlab-ci: Update CI configuration

Use system ghc and also cache .stack-work.
2020-12-17 13:03:42 +05:30 · 2020-12-17 13:03:42 +05:30 · e07808142d
parent dfc1445158
commit e07808142d
1 changed files with 4 additions and 3 deletions
--- 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