Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
anssiko merged 1 commit into from
Oct 24, 2026
Merged

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

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 12 additions & 8 deletions .github/workflows/auto-publish.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,24 +23,28 @@ jobs:
steps:
# See doc at https://github.com/actions/checkout/
- name: Checkout repository
uses: actions/checkout@v6
uses: actions/checkout@v7

# See doc at https://github.com/actions/setup-python/
# The w3c/spec-prod action sets up its own Python and puts it first on the
# PATH, so later steps call this interpreter through its python-path
# output rather than relying on a bare `python`.
- name: Setup Python
uses: actions/setup-python@v6
id: setup-python
uses: actions/setup-python@v7
with:
python-version: 3.13
python-version: '3.15'

- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install Pygments
${{ steps.setup-python.outputs.python-path }} -m pip install --upgrade pip
${{ steps.setup-python.outputs.python-path }} -m pip install Pygments

# Note: the step actually generates all CDDL message pages, but the
# w3c/spec-prod action cleans these files after each build, so we'll
# have to generate them again each time.
- name: Generate messages_appendix.html
run: python scripts/pygmentize_dir.py
run: ${{ steps.setup-python.outputs.python-path }} scripts/pygmentize_dir.py

# See doc at https://github.com/w3c/spec-prod/#spec-prod
# The action only deploys the generated spec to the gh-pages branch when
Expand All @@ -51,7 +55,7 @@ jobs:
GH_PAGES_BRANCH: gh-pages

- name: Generate application_messages.html
run: python scripts/pygmentize_dir.py
run: ${{ steps.setup-python.outputs.python-path }} scripts/pygmentize_dir.py

- name: Build and validate application.html, push to gh-pages branch if needed
uses: w3c/spec-prod@v2
Expand All @@ -65,7 +69,7 @@ jobs:
status: WD

- name: Generate network_messages.html
run: python scripts/pygmentize_dir.py
run: ${{ steps.setup-python.outputs.python-path }} scripts/pygmentize_dir.py

- name: Build and validate network.html, push to gh-pages branch if needed
uses: w3c/spec-prod@v2
Expand Down
Loading