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

Merged

StanFromIreland merged 15 commits into

python:mainfrom

StanFromIreland:check-html-ids.py-ci

Apr 1, 2026

Commits on Mar 7, 2026

Run `check-html-ids.py` in CI
StanFromIreland
committed
7c66eb2
Adding an exclude file now won't work
StanFromIreland
committed
0d69429
Remove a title to test
StanFromIreland
committed
d7d697c
`sys.exit(1)` on error
StanFromIreland
committed
250472f
Revert "Remove a title to test"
StanFromIreland
committed
6306c7d

Commits on Mar 9, 2026

Apply suggestions from code review
StanFromIreland
and
hugovk
authored
48a708c
Apply suggestion from @StanFromIreland
StanFromIreland
authored
9a6a7ed
Update name
StanFromIreland
committed
c5031ad

Commits on Mar 19, 2026

Only run on PRs + move to reusable workflow
StanFromIreland
committed
52ced6f
Add `name` to reusable workflow
StanFromIreland
committed
fb6288b

Commits on Mar 31, 2026

Hugo's review
StanFromIreland
and
hugovk
committed
1c777fd
Create `removed-ids.txt` & use PR *head* tools
StanFromIreland
committed
69df346
Merge branch 'main' into check-html-ids.py-ci
StanFromIreland
authored
5e5be3e
silence shellcheck
StanFromIreland
committed
ff5bafe
Move checkout ot workspace
StanFromIreland
committed
c4cf4a8