Started 2 days 19 hr ago
Took 2 hr 5 min on research-jenkins-worker-08

Success Build #10832 (Jan 13, 2019 9:14:15 PM)

PR #3765: Update arrow to include htt...
No changes.

GitHub pull request #3765 of commit 5306505bfb89131d0d0ae03a5161c56a958b0d95 automatically merged.