Started 9 days 15 hr ago
Took 3.3 sec on research-jenkins-worker-08

Failed Build #496 (Feb 9, 2019 12:43:47 AM)

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

GitHub pull request #355 of commit 253e4cb3e5b524887f1b31ecff884810cd0d9626 automatically merged.