gitlab-ci: Linters, don't allow to fail
authorMatthew Pickering <matthewtpickering@gmail.com>
Thu, 30 May 2019 10:11:04 +0000 (11:11 +0100)
committerBen Gamari <ben@well-typed.com>
Sat, 8 Jun 2019 17:34:18 +0000 (13:34 -0400)
commit07dc79c3718a7080760105db180db2d904cf2394
treec43a74e0306e66d5e25c61b574089596425f3754
parent1afb499583f741a95cceb3207c5455c8ec6f5b87
gitlab-ci: Linters, don't allow to fail

Ben disabled them in cd85f8a71bb56cff332560e1d571b3406789fb71 but didn't
say how or why they were broken.
.gitlab-ci.yml