Started 7 days 13 hr ago
Took 16 sec on ubuntu-testing

Failed Build #1506 (Jul 7, 2019 11:56:55 PM)

PR #5123: Remove unused connection fi...
Failed to determine (log)

GitHub pull request #5123 of commit d3e0a37e6b949e0c63fbb02a6fa73f5038a3079a automatically merged.