Started 12 days ago
Took 26 min on ubuntu-testing

Failed Build #1594 (Jul 10, 2019 3:21:04 PM)

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

GitHub pull request #5160 of commit 743408853a4b783f9e1240995ebfee849aa85029 automatically merged.