Started 13 days ago
Took 25 min on ubuntu-testing

Failed Build #1572 (Jul 10, 2019 12:07:26 AM)

PR #4728: [tune] Test example checkpo...
No changes.

GitHub pull request #4728 of commit 9b67b9e1d8131f3e1428973a74fd952c953e8054 automatically merged.