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

Failed Build #7099 (Dec 1, 2019 8:42:29 PM)

Changes
  1. [doc] Use .options() (#6323) (commit: 0b0a16982a5c8e1214e30b29c3d01ede88a80bec) (detail / githubweb)

Started by timer

Revision: 0b0a16982a5c8e1214e30b29c3d01ede88a80bec
  • origin/master