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

Success Build #871 (Jul 9, 2019 10:13:49 PM)

PR #524: minor doc fixes
No changes.

GitHub pull request #524 of commit 50fa5434268bc53f2cd9ceb9bc4bdc9203436564 automatically merged.

Configurations

Successdefault