diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-01 17:42:56 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-01 18:39:22 +0200 |
| commit | f39459168a2398198ea456b6e1bd76749f3a4021 (patch) | |
| tree | 599063be5a144064f9fa9256c9c28a681771f2fa /executor/executor_bsd.h | |
| parent | 02a9edfba4ad2815873ac058d95dc3707fdbffa2 (diff) | |
pkg/kcidb: assorted improvements for the schema
Based on @spbnick comments:
https://groups.google.com/g/syzkaller/c/Gd-hTPH4Two/m/6viE0QLgCQAJ
Normalize git.kernel.org repo addresses.
Send dashboard link in misc rather than in output files.
Don't omit waived.
Also check sent messages with kcidb-validate if it's in PATH.
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions