Started 4 mo 14 days ago
Took 21 min on amp-jenkins-worker-06

Success Build #869 (Jul 8, 2019 6:35:34 PM)

PR #521: docker doc fixes
No changes.

GitHub pull request #521 of commit 91b8c6166b62b340ef1cfc12bbf45e5fd0d6c9d3 automatically merged.

Configurations

Successdefault