Started 2 mo 0 days ago
Took 18 sec on ubuntu-testing

Failed Build #1809 (Jul 25, 2019 1:43:37 AM)

PR #5268: Develop
Failed to determine (log)

GitHub pull request #5268 of commit 1105b18b6394f0814e389a575fc6479053cdf289 automatically merged.