diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-13 10:59:00 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-16 20:50:50 -0500 |
| commit | 99d151bbd6a1407e73032ae597828dba59b4d01e (patch) | |
| tree | 2b5bdace8dfff1a95765828f886604c47f998220 /.gitlab-ci.yml | |
| parent | 6abea7605fddc6d734d761676314c9929a9728f0 (diff) | |
| download | haskell-99d151bbd6a1407e73032ae597828dba59b4d01e.tar.gz | |
ci: Bump CACHE_REV so that ghc-9.6 branch and HEAD have different caches
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.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 42552644fb..0307160665 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 |