On Thu, May 10, 2012 at 12:43 PM, Andrew Dunstan <and...@dunslane.net> wrote: > > > On 05/10/2012 01:29 AM, Tom Lane wrote: >> >> Bruce Momjian<br...@momjian.us> writes: >>> >>> The docs finally built 90 minutes after my commit, and the URL above is >>> now working. (Does it always take this long to update?) >> >> I believe the new implementation of that stuff is that the devel docs >> are built whenever the buildfarm member guaibasaurus runs for HEAD, >> which it seems to do on an hourly schedule. This is definitely not as >> fast-responding as Peter's former custom script, but I'm not sure if >> it's worth thinking of another way. >> > > I don't see any reason it can't run more frequently, though. Currently a run > takes 15 minutes or so. We could reduce that by making it skip some steps, > and get it down to about 10 minutes. It would be perfectly reasonable to run > every 5 minutes (it won't schedule concurrent runs - if the lock file is > held by another run it exits gracefully). Of course, that's up to Magnus and > Stefan.
If we can make it do *just* the docs, we can certainly run it a bit more often. But we don't want to make it run the full set of checks more or less continously, since the machine is shared with a number of other tasks... I don't think 5 minutes is anywhere near necessary even for the docs, but there is a lot of room between 5 minutes and 4 hours, so we can definitely shorten it. -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
