jenkins: lint.