On Tue, Jun 21, 2022 at 11:43:40AM +0200, Magnus Hagander wrote: > On Wed, Nov 18, 2020 at 1:44 PM Magnus Hagander <mag...@hagander.net> 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. > > Less than 2 years later this is now actually done. That is, we are now loading > the docs from a git checkout instead of a tarball, which means the devel docs > are now stamped with the git revision that they were built from (and they're > only rebuilt when something changes the docs, but when they do, it should > normally take <2 minutes for the new docs to appear on the website)
That is a big help for committers who want to email a URL of the new doc commit output. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Indecision is a decision. Inaction is an action. Mark Batterson
