gitlab-ci: Lint testsuite for framework failures

Authored by bgamari on Jun 12 2019, 8:37 AM.

Description

gitlab-ci: Lint testsuite for framework failures

This introduces a new lint job checking for framework failures and
listing broken tests.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 14 2019, 10:10 PM
Parents
rGHC5279dda861f6: PrelRules: Don't break let/app invariant in shiftRule
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC503e830c3d01: gitlab-ci: Lint testsuite for framework failures (authored by bgamari).Jun 14 2019, 10:10 PM