Started 8 days 13 hr ago
Took 27 min on ubuntu-testing

Failed Build #1505 (Jul 7, 2019 11:29:08 PM)

PR #5121: Define common data structur...
No changes.

GitHub pull request #5121 of commit d1563a1308032ef4280e0fda0ca761d53d366fce automatically merged.