Started 3 mo 23 days ago
Took 15 sec on amp-jenkins-worker-05

Failed Build #3017 (Jun 2, 2019 1:18:59 PM)

PR #1895: Adding ReadRDD, SequenceRDD...
No changes.

GitHub pull request #1895 of commit bd3d08c205985b5c62f71f7eb03f7116be6f0dae automatically merged.

Revision: cbf94f13d2a14bd5795aaaffdf3187213beb62ca
  • origin/pr/1895/merge
Test Result (no tests)

    Configurations

    FailedSCALAVER=2.11 FailedSCALAVER=2.12