Started 6 days 1 hr ago
Took 21 min on research-jenkins-worker-07

Failed Build #10727 (Jan 9, 2019 9:08:48 PM)

PR #3672: Refine multi-threading support
No changes.

GitHub pull request #3672 of commit 09066ca65dfc3241c7ccdd0e76dcf776e09862a6 automatically merged.