Started 5 days 20 hr ago
Took 2 hr 32 min on research-jenkins-worker-07

Aborted Build #12804 (Mar 12, 2019 1:35:47 PM)

PR #4322: [tune] add output flag for ...
No changes.

GitHub pull request #4322 of commit 9165df58c8316a2ca5a70503c87557969aca20d8 automatically merged.

Revision: 1f7e55b08435e8466578ca4bd05cf5b85c1516bc
  • origin/pr/4322/merge

Aborted by user rliaw