Started 8 days 14 hr ago
Took 2 hr 24 min on research-jenkins-worker-07

Success Build #11857 (Feb 12, 2019 8:40:52 PM)

PR #4032: Linting Bazel scripts
No changes.

GitHub pull request #4032 of commit 640ffa541c8cf7340cd65ea637020867c96fc4c9 automatically merged.