Started 1 mo 24 days ago
Took 0.35 sec on ubuntu-testing

Failed Build #1825 (Jul 25, 2019 6:18:15 AM)

PR #5251: Rename ClientTableData to G...
Failed to determine (log)

GitHub pull request #5251 of commit 9e15f69ad3f0026c16d482962c59b0ac886d2f34 automatically merged.