Thanks a lot, Matteo and Tomek for the clarification! Best regards, Rodrigo
On Wed, Apr 30, 2025 at 9:14 PM Tomek CEDRO <to...@cedro.info> wrote: > Yup :-) > > When PR has Documentation/ updates a CI build-html action is triggered > for verification. > > Documentation build and publish is done daily by CI from master. If > you need faster update just ask and we can trigger that action > manually :-) > > Take care :-) > Tomek > > > On Thu, May 1, 2025 at 1:14 AM Matteo Golin <matteo.go...@gmail.com> > wrote: > > > > Hello, > > > > To my knowledge, the documentation website as whole is updated whenever a > > change is made to the docs, up to once (or maybe twice?) a day via a > CI/CD > > pipeline. I don't know if there are any automated changes made to the > > documentation, but that is the workflow when a PR is made by a developer. > > > > Matteo > > > > On Wed, Apr 30, 2025 at 5:14 PM Rodrigo Sim <rcsi...@gmail.com> wrote: > > > > > Hi all, > > > > > > Could someone please let me know how frequently the documentation at > > > https://nuttx.apache.org/docs/latest/index.html is updated? > > > Is there any CI/CD pipeline involved in this process (e.g., a GitHub > > > Action)? > > > > > > Thanks in advance, > > > Rodrigo > > > > > > > -- > CeDeROM, SQ7MHZ, http://www.tomek.cedro.info >
