Started 9 days 2 hr ago
Took 2 hr 47 min on ubuntu-testing

Failed Build #1665 (Jul 14, 2019 12:20:03 AM)

PR #5187: Improve release process 0.7.2
No changes.

GitHub pull request #5187 of commit 5e245867ab99d2bb097dadadb76854deacefa4fa automatically merged.