Started 5 mo 3 days ago
Took 44 min on amp-jenkins-worker-05

Success Build #3070 (Nov 3, 2019 4:23:47 PM)

PR #2230: Update maven plugin depende...
No changes.

GitHub pull request #2230 of commit e499d10c3a84f394d8c43d1ab71912a33d0a856f automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12