Started 6 days 23 hr ago
Took 25 min on ubuntu-testing

Failed Build #1519 (Jul 8, 2019 1:26:28 PM)

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

GitHub pull request #4728 of commit 4679052cdea132ff138f4a1be9a6a9636ac3f6e3 automatically merged.