Started 2 mo 14 days ago
Took 42 min on amp-jenkins-worker-05

Success Build #3046 (Aug 31, 2019 5:12:24 PM)

PR #2201: [ADAM-2183] Drop default va...
No changes.

GitHub pull request #2201 of commit 1fa9d90e91fccda6cfd60d76886f3021353b2b9d automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12