On Wed, Jun 22, 2022 at 8:45 AM Bruce Momjian wrote:
> That is a big help for committers who want to email a URL of the new
> doc commit output.
Yes, it's a nice "quality of life" improvement.
Thanks for finally getting this done!
--
Peter Geoghegan
On Tue, Jun 21, 2022 at 11:43:40AM +0200, Magnus Hagander wrote:
> On Wed, Nov 18, 2020 at 1:44 PM Magnus Hagander wrote:
> No that'd be unrelated. We don't have a dedicated buildfarm animal for
> it, we just piggyback on the existing run, which runs on any changes,
> not just docs.
>
On Wed, Nov 18, 2020 at 1:44 PM Magnus Hagander wrote:
> On Wed, Nov 18, 2020 at 1:31 PM Alvaro Herrera
> wrote:
> >
> > On 2020-Nov-18, Magnus Hagander wrote:
> >
> > > It would be trivial to change this so that it only actually updates
> > > pages if they have been changed.
> >
> > I think thi
On Wed, Nov 18, 2020 at 1:31 PM Alvaro Herrera wrote:
>
> On 2020-Nov-18, Magnus Hagander wrote:
>
> > It would be trivial to change this so that it only actually updates
> > pages if they have been changed.
>
> I think this means we could also check much more frequently whether a
> rebuild is nee
On 2020-Nov-18, Magnus Hagander wrote:
> It would be trivial to change this so that it only actually updates
> pages if they have been changed.
I think this means we could also check much more frequently whether a
rebuild is needed, right? We could do that every 30 mins or so, since
most of the
On Wed, Nov 18, 2020 at 12:09 PM Heikki Linnakangas wrote:
>
> On 18/11/2020 12:56, Magnus Hagander wrote:
> > Today, we build and update the docs on
> > https://www.postgresql.org/docs/devel/ are rebuilt and deployed by the
> > buildfarm automatically every 4 hours.
> >
> > If there are no change
On 18/11/2020 12:56, Magnus Hagander wrote:
Today, we build and update the docs on
https://www.postgresql.org/docs/devel/ are rebuilt and deployed by the
buildfarm automatically every 4 hours.
If there are no changes at all made to the docs, they are *still*
kicked out of all caches and the sear
