Repository navigation

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

Merged

gh-145000: Run `check-html-ids.py` in CI#145632
StanFromIreland merged 15 commits into
python:mainfrom
StanFromIreland:check-html-ids.py-ci

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