Started 2 days 14 hr ago
Took 7 min 30 sec on research-jenkins-worker-08

Success Build #349 (Jan 14, 2019 2:03:33 AM)

PR #124: [WIP] Preliminary data stru...
No changes.

GitHub pull request #124 of commit bd762ad6561566032ca27ea966dfc60a06dadc16 automatically merged.