diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-11-11 16:53:06 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-11-13 14:30:51 -0500 |
commit | 24a86f09da3426cf1006004bc45d312725280dd5 (patch) | |
tree | d5f0c7b95d7321e29beff57a5615e2aab09cd3c8 /.gitlab-ci.yml | |
parent | de7ec9dd2bd573d5950ae294747d2bdb45051000 (diff) | |
download | haskell-24a86f09da3426cf1006004bc45d312725280dd5.tar.gz |
gitlab-ci: Cache cabal store in linting job
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 447058a163..034af88d01 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -307,16 +307,20 @@ hadrian-ghc-in-ghci: - .gitlab/ci.sh setup - cabal update - cd hadrian; cabal new-build -j`../mk/detect-cpu-count.sh` --with-compiler=$GHC --project-file=ci.project; cd .. + after_script: + - cp -Rf $HOME/.cabal cabal-cache variables: GHC_FLAGS: -Werror + cache: + key: lint + paths: + - cabal-cache lint-base: extends: .lint-params script: - hadrian/build -c -j stage1:lib:base - hadrian/build -j lint:base - cache: - key: lint ############################################################ # Validation via Pipelines (make) |