Started 2 yr 8 mo ago
Took 3 min 46 sec on research-jenkins-worker-08

Build #144 (Mar 21, 2019, 9:34:44 AM)

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

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

Test Result (no failures)