Started 12 days ago
Took 4 hr 29 min on research-jenkins-worker-09

Failed Build #19101 (Dec 2, 2019 4:39:32 AM)

PR #6331: [docs] Add public materials
No changes.

GitHub pull request #6331 of commit b64256dcf99ec56d9d531357bec38e7d3f00eace automatically merged.