Started 3 mo 28 days ago
Took 12 min on research-jenkins-worker-07

Failed Build #140 (Aug 14, 2019 3:12:04 AM)

PR #14: Add Java bin into PATH as well
No changes.

GitHub pull request #14 of commit de5a4a23c6fca153053b775bc89701f14ad8964e automatically merged.