gitlab-ci: Use robocopy instead of bash to copy cabal cache

Authored by bgamari on Dec 23 2018, 12:12 PM.

Description

gitlab-ci: Use robocopy instead of bash to copy cabal cache

Details

Committed
bgamariDec 24 2018, 9:35 PM
Parents
rGHC3aa8c593ca86: gitlab-ci: Use per-build temporary directory on Windows
Branches
Unknown
Tags
Unknown