Started 11 days ago
Took 2 hr 6 min on research-jenkins-worker-07

Success Build #10672 (Jan 8, 2019 1:51:46 AM)

PR #3675: [WIP] Add option of load_co...
No changes.

GitHub pull request #3675 of commit 2f3b11e3ddf5e664e51c69fd0c02639e64918f41 automatically merged.

Revision: 40cd51339d094576b48d69cb1de8b577fb5219bd
  • origin/pr/3675/merge