On Thu, May 10, 2012 at 12:49:51PM +0200, Magnus Hagander wrote: > 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.
Do you want me to just setup a build on my machine like we did before; 5 minutes is no problem for me. I use the doc build to show patch submitters what their final work looks like, and anything more than a few minutes delay makes that useless. -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + It's impossible for everything to be true. + -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers