Started 11 days ago
Took 3 min 2 sec on research-jenkins-worker-08

Failed Build #504 (Feb 9, 2019 2:08:31 AM)

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

GitHub pull request #355 of commit 727a69e3750647a3150021b2dede64bfee2e5da4 automatically merged.