Started 2 mo 25 days ago
Took 41 min on amp-jenkins-worker-05

Success Build #3075 (Jan 3, 2020 12:25:26 PM)

PR #2240: [ADAM-2228] Remove Jenkins ...
No changes.

GitHub pull request #2240 of commit 06e8c80af5314107c3d8ab14fd1af0078449fafc automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12