Started 1 yr 0 mo 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, no merge conflicts.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12