Started 1 mo 19 days ago
Took 12 min on amp-jenkins-worker-06

Failed Build #888 (Oct 3, 2019 1:48:06 PM)

PR #534: Documentation
No changes.

GitHub pull request #534 of commit 9e849fce4b80fa78aec1b99fbec1bce6e62df333 automatically merged.

Configurations

Faileddefault