Started 10 days ago
Took 12 min on research-jenkins-worker-07

Failed Build #517 (Feb 10, 2019 12:51:28 AM)

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

GitHub pull request #355 of commit fb25774f6966b1c869b9744f8dd15936a752e77e automatically merged.

Revision: 8f4977c307d76da8baa4b0c0eb8b12a3134ff994
  • origin/pr/355/merge