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

Failed Build #3730 (May 17, 2019 2:31:45 PM)

PR #9099: Pin to specific tier, phase 2
No changes.

GitHub pull request #9099 of commit 1c6bffd8a26643d7a6586d3328c6d11924c97e8e automatically merged.