Skip to content

ci: add mkdocs build#212

Open
gadomski wants to merge 1 commit intomainfrom
build-docs-in-ci
Open

ci: add mkdocs build#212
gadomski wants to merge 1 commit intomainfrom
build-docs-in-ci

Conversation

@gadomski
Copy link
Copy Markdown
Owner

It'll fail b/c pygments/pygments#3076

@gadomski gadomski self-assigned this Mar 31, 2026
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.

1 participant