Skip to content

Comments

Fix documentation build step#320

Merged
jomi-se merged 2 commits intomasterfrom
bugfix/doc-build
Jun 24, 2025
Merged

Fix documentation build step#320
jomi-se merged 2 commits intomasterfrom
bugfix/doc-build

Conversation

@jomi-se
Copy link
Contributor

@jomi-se jomi-se commented Jun 24, 2025

Fix missing import and bump dependencies in documentation sub project

@jomi-se jomi-se force-pushed the bugfix/doc-build branch from 7853e25 to 69acb00 Compare June 24, 2025 10:12
@jomi-se jomi-se merged commit f62978e into master Jun 24, 2025
5 checks passed
@jomi-se jomi-se deleted the bugfix/doc-build branch June 24, 2025 10:14
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.

3 participants