Started 5 days 23 hr ago
Took 1 hr 15 min on research-jenkins-worker-08

Failed Build #10732 (Jan 9, 2019 10:25:58 PM)

PR #3733: [WIP] Define a Node class t...
No changes.

GitHub pull request #3733 of commit 087b719f1a41888d1aa1e14f4caeb07ffdb11b40 automatically merged.

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