Started 1 yr 8 mo ago
Took 42 sec on research-jenkins-worker-08

Failed Build #142 (Mar 21, 2019 9:16:14 AM)

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

GitHub pull request #134 of commit ca95a51608cf0d63e59180a9096a7972a5e8a8ce, no merge conflicts.

Test Result (no failures)