Started 7 days 12 hr ago
Took 2 hr 31 min on research-jenkins-worker-08

Failed Build #10781 (Jan 11, 2019 7:59:31 PM)

PR #3733: Define a Node class to mana...
No changes.

GitHub pull request #3733 of commit e3dd6de9c753acfc84e2a18128a9ff8a1b238129 automatically merged.

Revision: 96da5f8e1b25d85531c02d408c7403037b8a8034
  • origin/pr/3733/merge