Started 12 days ago
Took 25 min on ubuntu-testing

Failed Build #1583 (Jul 10, 2019 4:51:43 AM)

PR #5160: [sgd] Deprecate old distrib...
No changes.

GitHub pull request #5160 of commit d16ad6e98a9d8ed05bd6a2838091c820076fe17c automatically merged.