Started 2 mo 10 days ago
Took 30 min on amp-jenkins-worker-05

Failed Build #3051 (Sep 4, 2019 10:15:11 AM)

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

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

Test Result (no failures)

    Configurations

    FailedSCALAVER=2.11 FailedSCALAVER=2.12