Started 1 mo 17 days ago
Took 1 min 34 sec on amp-jenkins-worker-05

Failed Build #3063 (Sep 27, 2019 11:11:36 AM)

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

GitHub pull request #2217 of commit dcbca14f386d8691e101b40e0186ece59a8c60dd automatically merged.

Test Result (no tests)

    Configurations

    FailedSCALAVER=2.11 FailedSCALAVER=2.12