Started 1 mo 20 days ago
Took 40 min on amp-jenkins-worker-05

Success Build #3061 (Sep 24, 2019 4:48:17 PM)

PR #2212: updates for python version ...
No changes.

GitHub pull request #2212 of commit 47432675688a6251b65445ba44d93ac0de7e2dd9 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12