Skip to content

Pinned pygments version#278

Merged
ccp-pinky merged 1 commit intomainfrom
fix-pygments-crash
Mar 31, 2026
Merged

Pinned pygments version#278
ccp-pinky merged 1 commit intomainfrom
fix-pygments-crash

Conversation

@Nohus
Copy link
Copy Markdown
Contributor

@Nohus Nohus commented Mar 30, 2026

The latest one has a bug that prevents the docs from building

@Nohus Nohus requested review from a team as code owners March 30, 2026 16:38
@ccp-pinky ccp-pinky merged commit 10edc1c into main Mar 31, 2026
1 check passed
@ccp-pinky ccp-pinky deleted the fix-pygments-crash branch March 31, 2026 07:12
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