summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2023-01-13 10:59:00 +0000
committerMatthew Pickering <matthewtpickering@gmail.com>2023-01-13 10:59:00 +0000
commit4ff1da004ceefe8af414a83c24ba22631e4a248d (patch)
treed81bfca828c03628b4656d4f7f7d4fa34a4d710b
parent756a66ec0875b675bd3256d46d57419827312426 (diff)
downloadhaskell-wip/bump-cache-rev.tar.gz
ci: Bump CACHE_REV so that ghc-9.6 branch and HEAD have different cacheswip/bump-cache-rev
Having the same CACHE_REV on both branches leads to issues where the darwin toolchain is different on ghc-9.6 and HEAD which leads to long darwin build times. In general we should ensure that each branch has a different CACHE_REV.
-rw-r--r--.gitlab-ci.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ddb530fae7..4a36a387d5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,7 +6,7 @@ variables:
# Sequential version number of all cached things.
# Bump to invalidate GitLab CI cache.
- CACHE_REV: 8
+ CACHE_REV: 9
# Disable shallow clones; they break our linting rules
GIT_DEPTH: 0