Started 13 days ago
Took 25 min on ubuntu-testing

Failed Build #1534 (Jul 9, 2019 3:20:41 AM)

PR #5147: Move task definition to com...
No changes.

GitHub pull request #5147 of commit 15c6da0c7082612991cc912809a914c5408bdb8f automatically merged.