Started 5 days 23 hr ago
Took 58 sec on research-jenkins-worker-08

Failed Build #514 (Feb 9, 2019 1:32:59 PM)

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

GitHub pull request #355 of commit 3a1a766b3be31dc199e8e35b046ec7cf61cfcd70 automatically merged.

Revision: 28f405b8497e9d9c823d9a133ff2b03e3cc5aa72
  • origin/pr/355/merge