Started 1 yr 4 mo ago
Took 3 min 43 sec on research-jenkins-worker-08

Success Build #145 (Mar 21, 2019 9:44:04 AM)

PR #134: Update dependency and plugi...
No changes.

GitHub pull request #134 of commit 5f1474cd853aadcd564b59bdda1da2a97391ddc6 automatically merged.

Test Result (no failures)