diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-24 15:34:00 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-24 22:35:13 -0500 |
| commit | 9c908fc7b312bdd3dbcb25d36c688b421558de78 (patch) | |
| tree | cc8be2995c5c8c0740e90d6e456049660f769e66 | |
| parent | f8c18bacbb8b4334d22fb9cb68e5abbf12e92912 (diff) | |
| download | haskell-9c908fc7b312bdd3dbcb25d36c688b421558de78.tar.gz | |
gitlab-ci: Clean tree on Windows after job
It seems like currently the runner doesn't delete the working tree after
finishing a job. At least we can delete the binary artifacts for now.
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d86de7a227..25771c2b41 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -319,6 +319,7 @@ validate-x86_64-linux-deb9-unreg: after_script: - rd /s /q tmp - robocopy /np /nfl /ndl /e "%APPDATA%\cabal" cabal-cache + - bash -c 'make clean || true' cache: paths: - cabal-cache |