Started 1 hr 4 min ago
Took 37 min on research-jenkins-worker-07

Failed Build #18433 (Nov 13, 2019 3:55:08 AM)

PR #6062: fix java build failure
No changes.

GitHub pull request #6062 of commit f2b2dffd65f5475b74437debb2391ff46c6e24b6 automatically merged.

Revision: 12f5b71422e99fd6f5b9146b0ac0c2a4402fc7f5
  • origin/pr/6062/merge