gitlab-ci: Disable cleanup job on Windows

Authored by bgamari on May 6 2019, 8:34 AM.

Description

gitlab-ci: Disable cleanup job on Windows

As discussed in the Note, we now have a cron job to handle this and the
cleanup job itself is quite fragile.

[skip ci]

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>May 10 2019, 3:45 PM
Parents
rGHCbfcd986dc424: Hadrian: programs need registered ghc-pkg libraries
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC10f579ad57cb: gitlab-ci: Disable cleanup job on Windows (authored by bgamari).May 10 2019, 3:45 PM