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

Success Build #3025 (Jun 18, 2019 10:33:34 AM)

PR #2175: adding alt implementation o...
No changes.

GitHub pull request #2175 of commit 0b3b45b952e99638a33c9c5c25d4d10d826005cc automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12