Skip to content
[Jenkins]Jenkins
log insign up
Success

Changes

Summary

  1. jobs/gerrit-lint: run in docker (details)
Commit b16268a99b2195d672f9ac29578ab847f867b04c by Oliver Smith
jobs/gerrit-lint: run in docker

Run the linting scripts in docker, so we can make use of additional
programs like clang-format without installing them on the jenkins node
directly.

Change-Id: I17d2e538f1f9fb69f298ac223bc293570db90a83
The file was modifiedjobs/gerrit-lint.yml
The file was modifiedlint/lint_diff.sh
The file was modifiedcontrib/known_hosts