Started 9 days 4 hr ago
Took 3.9 sec on research-jenkins-worker-08

Failed Build #501 (Feb 9, 2019 1:07:19 AM)

PR #355: [CI] Jenkins Improvement
No changes.

GitHub pull request #355 of commit ce9d8dfd56d5b1722f8cfbf1b4a8f0876cb70f5d automatically merged.