Commit f46d9e63 authored by Ludovic Courtès's avatar Ludovic Courtès

gitlab-ci: Lint all the Inria packages.

* .gitlab-ci.yml (lint): New step.
Remove all the 'lint_*' steps.
parent ed769569
Pipeline #72767 failed with stages
in 2 minutes and 1 second