diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-02-17 15:46:16 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-02-17 15:46:16 +0100 |
| commit | 59f36113ee97b3d2d2c872e23841eda592a4201d (patch) | |
| tree | 73d10152db3784ddbb719aa2e5c27c8b7faf73f7 /executor | |
| parent | 6a4471c2e5cb34c20d44763697cd13138f3f2c86 (diff) | |
syz-ci: don't extract fixing commits if no report email
There can be no ReportEmail is email reporting is not used,
don't poll fixing commits in such case.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions