Skip to content

Fix docs build: pin pymdown-extensions and bump mkdocstrings - #139

Merged
PenguinBoi12 merged 2 commits into
mainfrom
fix-docs-build
Nov 9, 2026
Merged

PenguinBoi12 merged 2 commits into
mainfrom
fix-docs-build

Conversation

@PenguinBoi12

Copy link
Copy Markdown
Contributor

Description

The docs build fails; pymdown-extensions was unpinned, and its latest release changed Highlight's signature, which mkdocstrings 1.0.6 doesn't support.

Type of Change

  • Feature
  • Refactor
  • Bug fix
  • Documentation
  • Other: Doc Build

Pre-merge Checklist

  • Run tests: pytest
  • Run type check: mypy
  • Run formatting: `black .

@PenguinBoi12 PenguinBoi12 added documentation Improvements or additions to documentation CI CI related PR and removed documentation Improvements or additions to documentation labels Nov 9, 2026

@chrisdedman chrisdedman left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lgtm

@PenguinBoi12
PenguinBoi12 merged commit 7d8b4f0 into main Nov 9, 2026
4 checks passed
@PenguinBoi12
PenguinBoi12 deleted the fix-docs-build branch November 9, 2026 06:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI CI related PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants