Started 1 hr 40 min ago
Took 45 min
on amp-jenkins-worker-05
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) |
SCALAVER=2.11