Run linters on merge requests

Authored by mpickering on Feb 18 2019, 11:28 AM.

Description

Run linters on merge requests

It seems that it has failed to execute at all since it was implemented.

We now run the linters on merge requests.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Mar 21 2019, 10:38 PM
Parents
rGHC7092b2de6fb8: Only run check-makefiles.py linter in testsuite dir
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC322239de9555: Run linters on merge requests (authored by mpickering).Mar 21 2019, 10:38 PM