Started 8 mo 4 days ago
Took 3 min 9 sec on research-jenkins-worker-08

Failed Build #143 (Mar 21, 2019 9:25:21 AM)

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

GitHub pull request #134 of commit 4c1aafcd4cc7c98da6b09294626079d5d3a63d14 automatically merged.

Test Result (no failures)