Started 11 days ago
Took 5.4 sec on amp-jenkins-worker-06

Failed Build #876 (Jul 11, 2019 7:29:05 PM)

PR #525: minor doc fixes
Changes
  1. minor doc fixes (commit: 97c96148c54bfd9cf9bf09e6cfabd4e3c9a2f592) (detail / githubweb)

GitHub pull request #525 of commit 97c96148c54bfd9cf9bf09e6cfabd4e3c9a2f592 automatically merged.

Revision: 0a6587b2d02cebe53d7a31eb745227aad7c84a23
  • origin/pr/525/merge

Configurations

Faileddefault