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

Success Build #3015 (May 31, 2019 8:21:20 PM)

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

GitHub pull request #1895 of commit d219c8e5aa80c3821c0ccd853ae27fd7256164a0 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12