Started 4 hr 57 min ago
Took 42 min on amp-jenkins-worker-05

Success Build #3087 (Feb 26, 2020 8:01:41 AM)

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

GitHub pull request #2256 of commit 5d2d418c2d589584a1c6e9b2928002344c794224 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12