Started 12 days ago
Took 22 sec on research-jenkins-worker-09

Failed Build #19077 (Dec 1, 2019 5:30:55 PM)

PR #6323: [doc] Use .options()
Failed to determine (log)

GitHub pull request #6323 of commit 228edb9f2b706caa2ed2b81adf2892a1ddfa761f automatically merged.