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

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

Description

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

Details

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