Started 7 days 18 hr ago
Took 2.4 sec on research-jenkins-worker-07

Failed Build #495 (Feb 9, 2019 12:40:42 AM)

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

GitHub pull request #355 of commit c4752fc3f6fa9f97f1dc5ad50eda7f060dc0e40d automatically merged.