Started 1 yr 7 mo ago
Took 43 min on amp-jenkins-worker-05

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

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

GitHub pull request #2256 of commit 8dcd7bbee7498ff86c05ad80c3c1262708d36cdd, no merge conflicts.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12