Started 4 days 0 hr ago
Took 25 min on ubuntu-testing

Failed Build #1625 (Jul 11, 2019 12:19:02 PM)

PR #5175: [docs] rewrite
No changes.

GitHub pull request #5175 of commit 281aafca00d855d6a8ce18f4f1e6bc0332543ac1 automatically merged.