ci: fetch every 100s

2020-04-11 10:34:27 +02:00 · 2020-04-11 10:34:27 +02:00 · 7b72fc3de2
commit 7b72fc3de2
parent 11bdfdbcb6
1 changed files with 1 additions and 1 deletions
--- a/krebs/3modules/ci.nix
+++ b/krebs/3modules/ci.nix
@ -52,7 +52,7 @@ let
                  "${url}",
                  workdir='${name}-${elemAt(splitString "." url) 1}', branches=True,
                  project='${name}',
-                  pollinterval=10
+                  pollinterval=100
              )
          )
        '') repo.urls)