Started 1 mo 26 days ago
Took 51 min on amp-jenkins-worker-05

Success Build #3058 (Sep 18, 2019 12:22:14 PM)

PR #2210: Merge commits after 0.29.0 ...
No changes.

GitHub pull request #2210 of commit e0dab60c4e114de5de71ef0bc80ca3ad17eb7d20 automatically merged.

Test Result (no failures)

    Configurations

    SuccessSCALAVER=2.11 SuccessSCALAVER=2.12