diff options
author | Toon Claes <toon@gitlab.com> | 2021-10-11 15:48:55 +0300 |
---|---|---|
committer | Patrick Steinhardt <psteinhardt@gitlab.com> | 2021-11-25 13:44:36 +0300 |
commit | f7604093903e9b2ede6a3b6931bfb8de466e253a (patch) | |
tree | 7a2e60335b0550b456c968164b98befce86ea3ee /_support | |
parent | 5fcc0fcab5238a1bfff328c37d5afc55b802b9e0 (diff) |
ci: Remove lint job
The verify job runs, amongst other things, the lint target in the
Makefile. So the job to run `make lint` is redundant, therefore this
change removes the lint job.
Diffstat (limited to '_support')
0 files changed, 0 insertions, 0 deletions