Use validate flavour rather than devel2 for DEBUG CI job

Authored by mpickering on Feb 20 2019, 2:42 PM.

Description

Use validate flavour rather than devel2 for DEBUG CI job

This also builds stage2 with optimisations and -dcore-lint

Details

Committed
mpickeringFeb 22 2019, 12:56 AM
Parents
rGHCc25b135ff5b9: Fix exprIsConApp_maybe
Branches
Unknown
Tags
Unknown