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

Success Build #10838 (Jan 14, 2019 3:17:29 AM)

PR #3770: minor fix for string format...
No changes.

GitHub pull request #3770 of commit c0991d3f79a990569eebe6072d7afff5dfafa155 automatically merged.