diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-06 20:25:02 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-06 20:25:02 +0200 |
| commit | 3abb98207d44b4b070ecf7d088a5ae7353741f38 (patch) | |
| tree | cf88519aa6208ca527c472f91fcab2fc2ea45d6f /executor | |
| parent | c8672723c6334784f510fd83187d8b46aea050d4 (diff) | |
pkg/report: detect partial result errors
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions