gitlab-ci: Add testsuite typechecking lint

Authored by bgamari on Jun 23 2019, 9:28 AM.

Description

gitlab-ci: Add testsuite typechecking lint

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 25 2019, 7:37 AM
Parents
rGHCbb40bd37ebf4: testsuite: Fix a few issues in JUnit output
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC95f56853d628: gitlab-ci: Add testsuite typechecking lint (authored by bgamari).Jun 25 2019, 7:37 AM