-
Ben Gamari authored
In CI we noticed a case where gitlab-runner apparently used a cache directory which was in the middle of being deleted, resulting in a confused cabal-install. Narrow (but not entirely close) this window by first moving the directory out of the way before deleting. We could do even better by waiting long enough for a copy to occur before initiating deletion.
d2c495e3