diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-11 10:02:49 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-11 12:12:01 +0300 |
| commit | b30b1136b621a3b829bb4b80487e776fbfa0a2b0 (patch) | |
| tree | ab25cbc40e70bbc47f47ebc1c63709a535b30d74 /executor | |
| parent | a7429096651d84e6a9cf6232f0166c23fbdee2ee (diff) | |
dashboard/app: try 1 repro per day until we have at least syz repro
Bugs without repros are not actionable sometimes.
Fixes #627
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions