Skip to content
  • Ben Gamari's avatar
    cleanup: Move directories out of the way before deleting · d2c495e3
    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