Started 1 hr 40 min ago
Took 45 min on amp-jenkins-worker-05

Success Build #3073 (Dec 12, 2019 11:34:34 AM)

PR #2236: [ADAM-2235] Update github-c...
No changes.

GitHub pull request #2236 of commit 3092744f1be9ad7e5a74b294470218ef1995f0ef automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12