Skip to content

Fix "Update website" CI: upgrade Python 3.8 → 3.12 and Sphinx 4 → 7 - #8

Merged
jobovy merged 2 commits into
dependabot/github_actions/actions/checkout-7from
copilot/fix-update-website-job
Jun 22, 2026
Merged

Fix "Update website" CI: upgrade Python 3.8 → 3.12 and Sphinx 4 → 7#8
jobovy merged 2 commits into
dependabot/github_actions/actions/checkout-7from
copilot/fix-update-website-job

Conversation

Copilot AI commented Jun 22, 2026

Copy link
Copy Markdown
Contributor

The "Update website" workflow fails because dependencies (mistune 3.3.1, then Sphinx 4.0.2 itself) use type annotation syntax incompatible with Python 3.8/3.12 respectively. Python 3.8 is EOL.

Changes

  • .github/workflows/update-website.yml: Bump Python from 3.8 to 3.12
  • notes/requirements.txt: Upgrade sphinx==4.0.2sphinx>=7.4,<8 (Sphinx 4 cannot import on Python 3.12: from types import Union no longer exists)
  • notes/source/conf.py: Update extlinks to Sphinx 7 format (requires %s placeholder in URL pattern and caption)
# Before (Sphinx 4 format)
extlinks = {'pdf_link': ('pdf/code-packaging-rev{}.pdf'.format(git_hash), 'PDF version')}

# After (Sphinx 7 format)
extlinks = {'pdf_link': ('pdf/code-packaging-rev{}.pdf%s'.format(git_hash), 'PDF version%s')}

Copilot AI changed the title Fix failing "Update website" CI: upgrade Python 3.8 → 3.12 Upgrade Python 3.8 → 3.12 in website CI Jun 22, 2026
Copilot AI requested a review from jobovy June 22, 2026 17:16
@jobovy
jobovy marked this pull request as ready for review June 22, 2026 17:19
Copilot AI changed the title Upgrade Python 3.8 → 3.12 in website CI Fix "Update website" CI: upgrade Python 3.8 → 3.12 and Sphinx 4 → 7 Jun 22, 2026
@jobovy
jobovy merged commit 4798067 into dependabot/github_actions/actions/checkout-7 Jun 22, 2026
2 checks passed
@jobovy
jobovy deleted the copilot/fix-update-website-job branch June 22, 2026 17:42
jobovy pushed a commit that referenced this pull request Jun 22, 2026
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@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