diff options
author | 2017-03-27 11:05:28 -0700 | |
---|---|---|
committer | 2017-03-27 11:05:28 -0700 | |
commit | da4cf9dacd5a0bc470fc9684bd3239d69a5e7f0c (patch) | |
tree | 76eeea123aff9a22c75c116e28bda0512ce71cc5 /tools/internal_ci/linux | |
parent | c4478a103b68100b86f506061cedcb0ce70016ba (diff) | |
parent | e0b6aaa2b8b6121d69d12149905e94adb41ca517 (diff) |
Merge pull request #10244 from muxi/more-test-information
Use xcpretty to provide better test information
Diffstat (limited to 'tools/internal_ci/linux')
0 files changed, 0 insertions, 0 deletions