Started 1 mo 21 days ago
Took 1 min 10 sec on amp-jenkins-worker-05

Failed Build #3064 (Sep 27, 2019 12:56:26 PM)

PR #2217: Rename AlignmentRecord to A...
No changes.

GitHub pull request #2217 of commit 0f260ffab4a0d8b602dcc86baa438deaac905058 automatically merged.

Test Result (no tests)

    Configurations

    FailedSCALAVER=2.11 FailedSCALAVER=2.12