Started 3 days 12 hr ago
Took 48 min on amp-jenkins-worker-05

Success Build #3084 (Feb 18, 2020 2:28:24 PM)

PR #2253: [ADAM-2252] Update bdg-util...
No changes.

GitHub pull request #2253 of commit df253fdef5adee4ecea90563d6409403db65baf3 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12