Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork34.2k
gh-145000: Runcheck-html-ids.py in CI#145632
Open
StanFromIreland wants to merge 5 commits intopython:mainfrom
Open
gh-145000: Runcheck-html-ids.py in CI#145632StanFromIreland wants to merge 5 commits intopython:mainfrom
check-html-ids.py in CI#145632StanFromIreland wants to merge 5 commits intopython:mainfrom
Conversation
MemberAuthor
StanFromIreland commentedMar 7, 2026 • edited
Loading Uh oh!
There was an error while loading.Please reload this page.
edited
Uh oh!
There was an error while loading.Please reload this page.
Annoyingly, no exclude file exists on main yet, and trying to add one here won't work, since the PR base won't have it. So, I am forced to leave a TODO. And we have the same issue with adding |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading.Please reload this page.
This doesn’t introduce any slowdown in the CI as the doctest job is slower. To avoid building the docs twice, I use the build from the
build-docstep to run the script and upload the results.🟢 Pass example
🔴 Fail example (When merged, it will properly fail, currently the script doesn’t
sys.exit(1))📚 Documentation preview 📚:https://cpython-previews--145632.org.readthedocs.build/