validate: Use Hadrian's validate flavour

Authored by bgamari on Jul 26 2019, 3:50 PM.

Description

validate: Use Hadrian's validate flavour

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 8, 4:11 AM
Parents
rGHC9a2798e139e3: hadrian: Add `validate` and `slow validate` flavours
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCab3116965395: validate: Use Hadrian's validate flavour (authored by bgamari).Tue, Oct 8, 4:11 AM