diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-21 13:50:07 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-21 13:50:07 +0200 |
commit | fe0883f370b2e2fbb22dd03748c6be513b23c655 (patch) | |
tree | c93e1d8d81149040a3b4eaade0b4ebcdf32a0dc2 /buildbot | |
parent | 6b0937746646b4d826e398faee2e8bed11b0c9a8 (diff) | |
download | deployment-fe0883f370b2e2fbb22dd03748c6be513b23c655.tar.gz deployment-fe0883f370b2e2fbb22dd03748c6be513b23c655.tar.bz2 deployment-fe0883f370b2e2fbb22dd03748c6be513b23c655.zip |
saving resources: build documentation twice a day
Diffstat (limited to 'buildbot')
-rw-r--r-- | buildbot/master.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildbot/master.cfg b/buildbot/master.cfg index 1466c8f..097f74f 100644 --- 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'), |