Started 4 mo 18 days ago
Took 47 min on amp-jenkins-worker-05

Success Build #3036 (Jul 3, 2019 4:04:54 PM)

PR #2181: Update required Maven versi...
No changes.

GitHub pull request #2181 of commit 9888f67ca6382d64b6f524a55e0ddfc9f3dd537f automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12