diff options
| author | Andrew Donnellan <ajd@linux.ibm.com> | 2020-09-29 21:30:58 +1000 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-12 17:22:41 +0200 |
| commit | d32b0bbf2f8cfe548553c4012e2c0f79040d999f (patch) | |
| tree | e389a1ba2770132dfb7ce40cfac3e75044606105 /docs | |
| parent | 4a77ae0bdc5cd75ebe88ce7c896aae6bbf457a29 (diff) | |
syz-ci: make polling times configurable
Some users may wish to reduce the frequency at which syz-ci polls for jobs.
Add two new optional settings, job_poll_period and commit_poll_period, that
allow the administrator to set how often syz-ci polls for jobs and commits.
Keep the existing defaults of 10 seconds and 1 hour respectively.
Signed-off-by: Andrew Donnellan <ajd@linux.ibm.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions