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

Failed Build #499 (Feb 9, 2019 12:57:33 AM)

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

GitHub pull request #355 of commit 329b19b0f68583d465a66922b1bcbfce06d60994 automatically merged.