Started 1 yr 8 mo ago
Took 48 min on amp-jenkins-worker-05

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, no merge conflicts.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12