Started 6 days 5 hr ago
Took 1 hr 58 min on research-jenkins-worker-08

Failed Build #10750 (Jan 10, 2019 11:08:37 AM)

PR #3731: Add kill and get IP command...
No changes.

GitHub pull request #3731 of commit 14eecfd7c928b50eb32afdc83b0d30b4faad91cc automatically merged.