taler-deployment

commit fe0883f370b2e2fbb22dd03748c6be513b23c655
parent 6b0937746646b4d826e398faee2e8bed11b0c9a8
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date:   Wed, 21 Jun 2017 13:50:07 +0200

saving resources: build documentation twice a day

Diffstat:
M
buildbot/master.cfg
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -54,7 +54,7 @@ c['change_source'].append(changes.GitPoller(
 c['schedulers'] = []
 c['schedulers'].append(schedulers.Periodic(name="periodic",
                                            builderNames=["doc-builder"],
-                                           periodicBuildTimer=5*60))
+                                           periodicBuildTimer=12*60*60))
 c['schedulers'].append(schedulers.SingleBranchScheduler(
                             name="all",
                             change_filter=util.ChangeFilter(branch='master'),