Started 4 mo 29 days ago
Took 7 min 9 sec on research-jenkins-worker-08

Success Build #379 (Jun 18, 2019 12:53:47 AM)

PR #147: Fix bug in loading multilog
No changes.

GitHub pull request #147 of commit 31e316fa7f333043f78bf2b114df480f01b3d176 automatically merged.