Started 9 days 4 hr ago
Took 3 min 43 sec on research-jenkins-worker-07

Failed Build #502 (Feb 9, 2019 1:11:59 AM)

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

GitHub pull request #355 of commit 21d6d87d5712799a6c0c369595eccd687501d7db automatically merged.