Overview:
This is the broken build: https://app.readthedocs.org/projects/ngff/builds/34222546/
It would be useful to have a check for the built PDF too. However, the needed LaTex dependencies are large and configuring the whole thing felt error-prone. We could spend more time debugging the checker than actually using it.
If this bites again, we can evaluate the need. Before that, it is perhaps most useful just knowing that this can happen (build ok on GitHub but red on Read The Docs) .
Overview:
Read The Docs builds PDFs for the website
The PDF build is somewhat fiddly, so Read The Docs does not do it on PR previews
This leads to a seemingly good PR not merging on RTD (see docs: redoes the landing page so it looks less like a FAQ #571 and Fix the landing page build (pdflatex) #590 for reference)
This is the broken build: https://app.readthedocs.org/projects/ngff/builds/34222546/
It would be useful to have a check for the built PDF too. However, the needed LaTex dependencies are large and configuring the whole thing felt error-prone. We could spend more time debugging the checker than actually using it.
If this bites again, we can evaluate the need. Before that, it is perhaps most useful just knowing that this can happen (build ok on GitHub but red on Read The Docs) .