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

Success Build #3016 (Jun 2, 2019 12:36:20 PM)

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

GitHub pull request #1895 of commit 107ce14dcf51e3573baaa69e5063b22553c4a014 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12