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
