Started 6 days 21 hr ago
Took 2 hr 10 min on research-jenkins-worker-08

Success Build #10704 (Jan 9, 2019 1:09:38 AM)

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

GitHub pull request #3675 of commit e4f8eaeed3867f08cf96fc3ea1326b4d2cd1620c automatically merged.

Revision: 0383d1f22b057aceec09848a857c7d9642af1a4e
  • origin/pr/3675/merge