Started 4 days 12 hr ago
Took 2 hr 9 min on research-jenkins-worker-08

Failed Build #10776 (Jan 11, 2019 10:16:40 AM)

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

GitHub pull request #3733 of commit 68fd355914382a3304bef9387cc4c8bb479b74c3 automatically merged.

Revision: 4e2f2624c0493d12f206da1af22a51ac207a4fa9
  • origin/pr/3733/merge