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

Success Build #3013 (May 31, 2019 2:35:59 PM)

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

GitHub pull request #1895 of commit bffd771d024129395ee74c6e7b4034041e7395d9 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12