Started 1 yr 8 mo ago
Took 42 min on amp-jenkins-worker-05

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

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

GitHub pull request #2256 of commit 5d2d418c2d589584a1c6e9b2928002344c794224, no merge conflicts.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12