Started 2 days 20 hr ago
Took 3 hr 0 min on amp-jenkins-staging-worker-02

Aborted Build #11938 (Feb 13, 2019 11:49:06 PM)

PR #4000: Add documentation on how to...
No changes.

GitHub pull request #4000 of commit 79fddbe2acac1342643db3e2556ae94c925bcad9 automatically merged.