Started 6 days 20 hr ago
Took 3 hr 0 min on research-jenkins-worker-08

Aborted Build #11756 (Feb 10, 2019 5:57:32 PM)

PR #3951: [tune] Trial reporter fix
No changes.

GitHub pull request #3951 of commit 202f37915fbcd31cbaa7b9a617017a900eebce14 automatically merged.