diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-06-08 09:16:13 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-06-08 09:49:11 +0200 |
| commit | e5e7d9aa2a347f1ee43d0959364993a327967f1b (patch) | |
| tree | 115c07b5a96e23af2a91b0aaf8219f4c615127fb /executor/executor_akaros.h | |
| parent | b718257f456d456345e1129b27a9340c91c18f3b (diff) | |
syz-ci: poll commits more regularly
Diffstat (limited to 'executor/executor_akaros.h')
0 files changed, 0 insertions, 0 deletions