Started 1 day 12 hr ago
Took 2 hr 25 min on research-jenkins-worker-08

Success Build #11939 (Feb 14, 2019 12:54:00 AM)

PR #4032: Linting Bazel scripts
No changes.

GitHub pull request #4032 of commit 59cfbb4e00b2d52767ba79c00dbdabdaaa1617a4 automatically merged.