Started 3 mo 11 days ago
Took 45 min on amp-jenkins-worker-05

Success Build #3052 (Sep 4, 2019 11:37:55 AM)

PR #2205: Use qualityScores for base ...
No changes.

GitHub pull request #2205 of commit 79c8adcefa16d332e5fd1670fcce5dc229ec1894 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12