gitlab-ci: Allow linters to fail for now
authorBen Gamari <ben@well-typed.com>
Sun, 24 Mar 2019 12:46:13 +0000 (08:46 -0400)
committerBen Gamari <ben@well-typed.com>
Sun, 24 Mar 2019 12:46:13 +0000 (08:46 -0400)
commitcd85f8a71bb56cff332560e1d571b3406789fb71
treefcff205f9b49085ceb1ac886fe56ff0249035e95
parent8d01b57273e72a9a9d4a76a8f3f15f59441ed30a
gitlab-ci: Allow linters to fail for now

They are broken and I don't have time to fix them at the moment.
.gitlab-ci.yml