Started 3 mo 23 days ago
Took 42 min on amp-jenkins-worker-05

Success Build #3018 (Jun 2, 2019 1:21:09 PM)

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

GitHub pull request #1895 of commit 5569f1e62a6f62461f3ace62453757edbe52e809 automatically merged.

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

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12