Started 5 days 1 hr ago
Took 6 min 59 sec on research-jenkins-worker-08

Success Build #310 (Jan 10, 2019 8:19:55 PM)

PR #403: Adding support for insertin...
No changes.

GitHub pull request #403 of commit a8b2d30e7ab7941521d669634eb2cdb86698c673 automatically merged.