From d32b0bbf2f8cfe548553c4012e2c0f79040d999f Mon Sep 17 00:00:00 2001 From: Andrew Donnellan Date: Tue, 29 Sep 2020 21:30:58 +1000 Subject: 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 --- syz-ci/testdata/example.cfg | 2 ++ 1 file changed, 2 insertions(+) (limited to 'syz-ci/testdata/example.cfg') diff --git a/syz-ci/testdata/example.cfg b/syz-ci/testdata/example.cfg index b9ff45cfd..1f8a410c2 100644 --- a/syz-ci/testdata/example.cfg +++ b/syz-ci/testdata/example.cfg @@ -5,6 +5,8 @@ "hub_addr": "2.3.4.5:2345", "hub_key": "222", "goroot": "/syzkaller/goroot", + "job_poll_period": 20, + "commit_poll_period": 1800, "managers": [ { "name": "upstream-kasan", -- cgit mrf-deployment