Skip to content

Test with latest Pygments and fix related issues#2558

Merged
facelessuser merged 1 commit intomainfrom
bugfix/pygments
Jan 6, 2025
Merged

Test with latest Pygments and fix related issues#2558
facelessuser merged 1 commit intomainfrom
bugfix/pygments

Conversation

@facelessuser
Copy link
Owner

Fixes #2557

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: highlight Related to the highlight extension. C: infrastructure Related to project infrastructure. C: inlinehilite Related to the inlinehilite extension. C: superfences Related to the superfences extension. C: tests Related to testing. labels Jan 6, 2025
@facelessuser
Copy link
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Jan 6, 2025
@facelessuser facelessuser merged commit 4745949 into main Jan 6, 2025
14 checks passed
@facelessuser facelessuser deleted the bugfix/pygments branch January 6, 2025 19:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: highlight Related to the highlight extension. C: infrastructure Related to project infrastructure. C: inlinehilite Related to the inlinehilite extension. C: superfences Related to the superfences extension. C: tests Related to testing. S: approved The pull request is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Tests are broken due to update of Pygments

2 participants