From: | Magnus Hagander <magnus(at)hagander(dot)net> |
---|---|
To: | Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> |
Cc: | PostgreSQL Developers <pgsql-hackers(at)lists(dot)postgresql(dot)org> |
Subject: | Re: Devel docs on website reloading |
Date: | 2020-11-18 12:44:45 |
Message-ID: | CABUevEzKuy_z8LMuWiXjSOC+1iXFVK1t7RVpm2x8LSDuUq0ZuA@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
On Wed, Nov 18, 2020 at 1:31 PM Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> 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 needed, right? We could do that every 30 mins or so, since
> most of the time it would be a no-op.
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.
--
Magnus Hagander
Me: https://www.hagander.net/
Work: https://www.redpill-linpro.com/
From | Date | Subject | |
---|---|---|---|
Next Message | Andrew Dunstan | 2020-11-18 12:56:54 | Re: Is postgres ready for 2038? |
Previous Message | Alvaro Herrera | 2020-11-18 12:31:22 | Re: Devel docs on website reloading |