Started 10 days ago
Took 2.4 sec on research-jenkins-worker-07

Failed Build #512 (Feb 9, 2019 1:23:23 PM)

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

GitHub pull request #355 of commit 1966a0ff4690958b17ca15095d626baec50a9287 automatically merged.

Revision: b6b515a6e970ddad4494d05e93ca27fdd20caa95
  • origin/pr/355/merge