Started 2 days 6 hr ago
Took 2 hr 51 min on ubuntu-testing

Failed Build #1658 (Jul 13, 2019 7:03:08 AM)

PR #5187: Improve release process 0.7.2
No changes.

GitHub pull request #5187 of commit 34307a5fa7d0ab19d40c3f2f9df36d09bf04fb0f automatically merged.