Skip to content
Jenkins
log in
|
sign up
Dashboard
Pau Espin Pedrol
My Views
gerrit-lint
#16134
Changes
Status
Changes
Console Output
View Build Information
Parameters
Timings
Git Build Data
Previous Build
Next Build
Changes
Summary
lint: do "docker run --rm" check only in jenkins (
details
)
Commit 0803903ffbd8d44a1b6087ab71c889bd19b97b0a by
Oliver Smith
lint: do "docker run --rm" check only in jenkins
Change-Id: I00a28a04b0fae8804846948a155c6214bf1aca00
The file was modified
jobs/gerrit-lint.yml
The file was modified
lint/lint_diff.sh