Started 2 mo 12 days ago
Took 47 min on amp-jenkins-worker-05

Success Build #3041 (Aug 10, 2019 11:32:19 AM)

PR #2196: [ADAM-2194] Disable coveral...
No changes.

GitHub pull request #2196 of commit 99662dbfbac8980b056db63a3ec8dc449cc1466c automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12