Started 4 mo 16 days ago
Took 4 hr 6 min on research-jenkins-worker-08

Success Build #128 (Nov 5, 2018 7:59:08 PM)

PR #12: moar moar testings
No changes.

GitHub pull request #12 of commit 3e297e08381c9a10b7df794b51700393c1439c49 automatically merged.