Skip to content

gh-145000: Run check-html-ids.py in CI#145632

Open
StanFromIreland wants to merge 5 commits intopython:mainfrom
StanFromIreland:check-html-ids.py-ci
Open

gh-145000: Run check-html-ids.py in CI#145632
StanFromIreland wants to merge 5 commits intopython:mainfrom
StanFromIreland:check-html-ids.py-ci

Conversation

@StanFromIreland
Copy link
Member

@StanFromIreland StanFromIreland commented Mar 7, 2026

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-doc step 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/

@StanFromIreland
Copy link
Member Author

StanFromIreland commented Mar 7, 2026

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 sys.exit(1) to fail the job, it's not on main yet.

@StanFromIreland StanFromIreland marked this pull request as ready for review March 7, 2026 20:52
@StanFromIreland StanFromIreland requested a review from encukou March 7, 2026 20:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant