commit 3c28d323e169d0db6f2762a5ef6dd9f908074caa
author Luca Milanesio <luca.milanesio@gmail.com> Sun Jan 12 10:42:40 2020 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> Sun Jan 12 10:42:40 2020 +0000
tree 353dbe0db5d28b71142f6ab65ffd69730df0f2a4
parent d525fcb7e4809182474cdbd9fb1f53a6f28d72ee

Reduce polling time to 5m

Now that the branch scanning takes around 10s
we can make the polling for new changes to build
more frequent, so that the maximum lead time to start
a verification is reduced to 5m.

Change-Id: I382f949d4faa651b246b9eb5387e690c17dc0c3d

jenkins/gerrit-verifier.yaml

diff --git a/jenkins/gerrit-verifier.yaml b/jenkins/gerrit-verifier.yaml
index 519df45..cee50c1 100644
--- a/jenkins/gerrit-verifier.yaml
+++ b/jenkins/gerrit-verifier.yaml
@@ -156,4 +156,4 @@
             all-branches:
               - suppress-scm-triggering: false
               - pipeline-branch-durability-override: max-survivability
-    periodic-folder-trigger: 10m
+    periodic-folder-trigger: 5m