diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2022-09-05 20:54:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-05 18:54:47 +0000 |
| commit | 9dcd38fcfa9aea7d06b00dfef84c00eecb9a4a40 (patch) | |
| tree | ee722c227b94a3679ebff2760dda024432f6cf38 /executor/common_linux.h | |
| parent | b2f2446b46bf02821d90ebedadae2bf7ae0e880e (diff) | |
.github: decrease the OSS fuzzing time (#3336)
10 minutes looks like a too big number, especially given that other CI
actions finish much faster.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions