tree 353dbe0db5d28b71142f6ab65ffd69730df0f2a4
parent d525fcb7e4809182474cdbd9fb1f53a6f28d72ee
author Luca Milanesio <luca.milanesio@gmail.com> 1578825760 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1578825760 +0000

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