Jenkins is going to shut down
Started 3 mo 2 days ago
Took 9 min 42 sec on amp-jenkins-worker-05

Failed Build #3022 (Jun 17, 2019 9:33:27 AM)

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

GitHub pull request #2175 of commit dd7500ce06de6d8d73cb0b6fdad910c6d60ed5b4 automatically merged.

Test Result (8 failures / +8)

Configurations

FailedSCALAVER=2.11 FailedSCALAVER=2.12