gitlab-ci: Clean tree on Windows after job

Authored by bgamari on Dec 24 2018, 2:34 PM.

Description

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.

Details

Committed
bgamariDec 24 2018, 9:35 PM
Parents
rGHCf8c18bacbb8b: gitlab-ci: Use robocopy instead of bash to copy cabal cache
Branches
Unknown
Tags
Unknown