diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 | ||||
| -rwxr-xr-x | .gitlab/ci.sh | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 11d336ed91..b9b4f1f44e 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: 4 + CACHE_REV: 5 # Disable shallow clones; they break our linting rules GIT_DEPTH: 0 diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 7cd667fe0d..2ba27cba8d 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -608,6 +608,7 @@ function run_perf_test() { function save_cache () { info "Storing cabal cache from $CABAL_DIR to $CABAL_CACHE..." + rm -Rf "$CABAL_CACHE" cp -Rf "$CABAL_DIR" "$CABAL_CACHE" } |