Started 5 days 18 hr ago
Took 11 sec on research-jenkins-worker-08

Aborted Build #12811 (Mar 12, 2019 4:08:35 PM)

PR #4322: [tune] add output flag for ...
Failed to determine (log)

GitHub pull request #4322 of commit 8c92818f167455445f441612baa4b5c392b58cb2 automatically merged.

Aborted by user rliaw