Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove make docs race conditions (and other docs fixes) #4635

Merged
merged 10 commits into from
Oct 8, 2024

Conversation

KrystalDelusion
Copy link
Member

@KrystalDelusion KrystalDelusion commented Oct 7, 2024

What are the reasons/motivation for this change?
Fix #4631
Also fix an orphaned page which was one of four warnings triggering read the docs to fail.

Explain how this is achieved.
Removing the tidy target from make all was only one part of the issue, the other part was that gen_examples called make all while gen_images called make dots, where dots was always a subset of all. This could lead to a race condition with the opt code example where one make could remove %_full.dot while the other make file was trying to use it (at least, I think that's what the issue was).
The prepare-docs job now also runs make docs, which should serve as a smoke test for when read the docs is going to fail. If it is, then there is no point triggering it just to watch it fail.

If applicable, please suggest to reviewers how they can test the change.
make docs/prep -j[n>1] from top level makefile should run without error.
make docs should also run without error, but as of this writing is expected to fail due to missing help messages in some commands and is reflective of read the docs.

@KrystalDelusion KrystalDelusion changed the title Remove make docs race conditions Remove make docs race conditions (and other docs fixes) Oct 7, 2024
KrystalDelusion and others added 4 commits October 7, 2024 22:52
Call make docs from root
Since `docs/prep` is a prerequisite of `docs`, and should be the *only* prerequisite, calling `make docs` could end up hiding a problem with files missing from the uploaded artifact. Instead, call `make` from the docs directory which should be closer to what will run on RTDs.
@KrystalDelusion KrystalDelusion merged commit 0be3b7d into main Oct 8, 2024
40 checks passed
@mmicko mmicko deleted the krys/pr_docs_ci branch October 11, 2024 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

docs images: Race between latex pdf build and "tidy"
2 participants