diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2019-06-27 13:27:01 +0000 |
---|---|---|
committer | Henning Baldersheim <balder@yahoo-inc.com> | 2019-06-27 13:27:01 +0000 |
commit | 27ccb86f0edbd150815e7613ab42c65d4b5495f3 (patch) | |
tree | 7edc48fcd776f1b4d189899d9d402dfcf1bd0b59 /metrics | |
parent | c4d35430b51812962fe5425bd93852dcf1b9864d (diff) |
Add coverage informationwhen we soft timeout.
Diffstat (limited to 'metrics')
0 files changed, 0 insertions, 0 deletions