diff options
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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" } |