Started 5 days 0 hr ago
Took 13 sec on ubuntu-testing

Failed Build #827 (May 17, 2019 5:51:32 AM)

PR #4803: [tune] Support non-arg submit
Failed to determine (log)

GitHub pull request #4803 of commit 7d7ced14531f3e47882046b1b810047ce3efaa95 automatically merged.