Started 10 days ago
Took 3 min 36 sec on research-jenkins-worker-08

Failed Build #513 (Feb 9, 2019 1:26:38 PM)

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

GitHub pull request #355 of commit db84332bce8c4613ce1d7d6f4fde1670b5317a75 automatically merged.

Revision: 98521d0fc2c996ad6b8e632e2618cbe826d803d5
  • origin/pr/355/merge