Skip to content

Bump CI dependencies and fix Pygments steps after spec-prod - #372

Merged
anssiko merged 1 commit into
w3c:mainfrom
backkem:ci-bump-deps-fix-python
Oct 24, 2026
Merged

anssiko merged 1 commit into
w3c:mainfrom
backkem:ci-bump-deps-fix-python

Conversation

@backkem

@backkem backkem commented Oct 24, 2026

Copy link
Copy Markdown
Contributor

Problem

The later Generate *_messages.html steps fail with:

ModuleNotFoundError: No module named 'pygments'

w3c/spec-prod sets up its own Python (3.12) and leaves it first on the PATH. After the first spec-prod step, a bare python no longer means the interpreter actions/setup-python installed Pygments into.

Changes

  • Give the setup-python step an id and call its python-path output for the pip install and all three pygmentize_dir.py steps.
  • actions/checkout v6 → v7. The only breaking change blocks fork checkouts under pull_request_target and workflow_run, which we don't use.
  • actions/setup-python v6 → v7. The only breaking change removes the pip-install input, which we don't use.
  • Python 3.13 → 3.15 for the in-repo steps.
  • w3c/spec-prod@v2 is unchanged. It already resolves to the latest release, v2.14.1, and there is no v3.

…eter

w3c/spec-prod sets up its own Python and leaves it first on the PATH, so
the "Generate *_messages.html" steps that run after the first spec-prod
step picked up an interpreter without Pygments and failed with
"ModuleNotFoundError: No module named 'pygments'". Call the interpreter
installed by actions/setup-python through its python-path output instead
of a bare `python`.

Also bump actions/checkout and actions/setup-python to v7 and the in-repo
Python to 3.15. w3c/spec-prod@v2 already resolves to the latest release
(v2.14.1).
@backkem
backkem requested review from anssiko and tidoust October 24, 2026 11:13
@anssiko
anssiko merged commit fd75242 into w3c:main Oct 24, 2026
2 checks passed
github-actions Bot added a commit that referenced this pull request Oct 24, 2026
…eter (#372)

SHA: fd75242
Reason: push, by anssiko

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions Bot added a commit that referenced this pull request Oct 24, 2026
…eter (#372)

SHA: fd75242
Reason: push, by anssiko

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions Bot added a commit that referenced this pull request Oct 24, 2026
…eter (#372)

SHA: fd75242
Reason: push, by anssiko

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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.

2 participants