Hadrian: Drop old/unused CI scripts

Authored by snowleopard on Apr 18 2019, 5:52 PM.

Description

Hadrian: Drop old/unused CI scripts

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Apr 19 2019, 10:56 PM
Parents
rGHC99dd5d6b8365: Haddock: support strict GADT args with docs
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC10776562d8b9: Hadrian: Drop old/unused CI scripts (authored by snowleopard).Apr 19 2019, 10:56 PM