diff options
| author | Hugo Herbelin | 2019-11-28 20:42:11 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-01-04 13:18:16 +0100 |
| commit | 4541dab0cfc3389dee7440b147108d91a7b32840 (patch) | |
| tree | cd6698fde2a9299c71fb7d0f35322183506cd96f /plugins | |
| parent | 793bddef6b4f615297e9f9088cd0b603c56b2014 (diff) | |
Fixing status reporting for complexity tests.
The regexp parsing the time needed an update to support the case
"Finished failing translation". Also, not all cases of failures were
reported.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions