Started 3 mo 24 days ago
Took 43 min on amp-jenkins-worker-05

Success Build #3014 (May 31, 2019 5:04:10 PM)

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

GitHub pull request #1895 of commit a785087653799ad609e6c11bfca43b25da09d079 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12