Started 7 days 4 hr ago
Took 3 hr 0 min on research-jenkins-worker-08

Aborted Build #12921 (Mar 16, 2019 10:46:08 AM)

PR #4011: [tune] Make the logging of ...
No changes.

GitHub pull request #4011 of commit c13911ade0206abb6f8d45d16f502a67292f516e automatically merged.

Revision: f69012f7e8d8337a711badab279f27635fc48d55
  • origin/pr/4011/merge