diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2022-04-13 09:01:37 +0000 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2022-04-13 11:57:51 +0200 |
| commit | c93be2342ceb683ac38c3f5189df000446df8e6a (patch) | |
| tree | c12650be934f913bff1faf61d4f33e1fef484fc0 /executor | |
| parent | faabdb8662cdd4c886f2229ac917ae0b8a311943 (diff) | |
syz-ci: don't require a repro for JobTestPatch
For boot-time bugs there may be no repro, yet we can test it. Only leave
a sanity check (if syz repro is present, then repro options must also
be, and vice versa).
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions