public inbox for [email protected]  

help / color / mirror / Atom feed

From: Tom Lane <[email protected]>
To: Stefan Kaltenbrunner <[email protected]>
Cc: [email protected]
Subject: Re: documentation build log is busted, and has been for awhile
Date: Thu, 27 May 2010 17:50:04 -0400
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
	<[email protected]>

Stefan Kaltenbrunner <[email protected]> writes:
> On 05/27/2010 01:55 AM, Tom Lane wrote:
>> Is anybody maintaining
>> http://developer.postgresql.org/pgdocs/postgres/buildlog.html
>> ?
>> 
>> For some time now, that page has failed to update if the underlying
>> build fails, which makes it approximately completely useless.

> hmm - maybe we should monitor as part of the main monitoring 
> infrastructure just like we monitor the snapshot builds...
> However if the docs failed to build for a while I wonder why the 
> snapshots are still getting done...

I think the job is running when it's supposed to, it's just failing to
update the output page when it fails.  The page updates PDQ when the
docs build is OK.

			regards, tom lane

view thread (7+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected]
  Subject: Re: documentation build log is busted, and has been for awhile
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox