Started 4 mo 4 days ago
Took 5 min 22 sec on amp-jenkins-worker-03

Success Build #150 (Nov 19, 2018 10:13:34 AM)

PR #147: Update default docker images.
No changes.

GitHub pull request #147 of commit b47cf93f76dbd1ecf3d5659278046219b98b2d76 automatically merged.

Test Result (no failures)

    Configurations

    Successdefault