Started 1 mo 11 days ago
Took 46 min on amp-jenkins-worker-05

Success Build #3066 (Oct 4, 2019 8:36:22 AM)

PR #2220: [ADAM-2218] Add default Set...
No changes.

GitHub pull request #2220 of commit 481c89d4a0689a1608c1e836ad9413bab45bc846 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12