Started 14 hr ago
Took 43 min on amp-jenkins-worker-05

Success Build #3086 (Feb 25, 2020 9:19:15 AM)

PR #2256: [ADAM-2254] Add deprecated ...
No changes.

GitHub pull request #2256 of commit 8dcd7bbee7498ff86c05ad80c3c1262708d36cdd automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12