Started 8 days 4 hr ago
Took 3.6 sec on research-jenkins-worker-08

Failed Build #500 (Feb 9, 2019 1:04:08 AM)

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

GitHub pull request #355 of commit 908e9459ebee4ccf5c59cc4f5a7b89942057006d automatically merged.