Started 3 mo 6 days ago
Took 41 min on amp-jenkins-worker-05

Success Build #3024 (Jun 17, 2019 6:56:16 PM)

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

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

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12