Started 12 days ago
Took 3 hr 50 min on research-jenkins-worker-08

Success Build #19129 (Dec 2, 2019 12:50:08 PM)

PR #6321: New scheduler integration
No changes.

GitHub pull request #6321 of commit ded89b1fb04ea2070c911d8c6efd1bf49a7025e7 automatically merged.

Revision: c6674c3fc2c08d57c346ea36c4b40f8a67d49be1
  • origin/pr/6321/merge