Skip to content

Conversation

@gnzng
Copy link
Collaborator

@gnzng gnzng commented Nov 12, 2025

fix: solve issue coming from PR #57, to build and publish the docs

Copy link
Collaborator

@yoshikisd yoshikisd left a comment

Choose a reason for hiding this comment

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

Ok this looks reasonable to me. Let's try it.

@yoshikisd yoshikisd merged commit 36055d0 into cdtools-developers:master Nov 12, 2025
9 checks passed
@gnzng
Copy link
Collaborator Author

gnzng commented Nov 12, 2025

that solved it, thanks @yoshikisd for merging

@gnzng gnzng deleted the quickfixdocs branch November 12, 2025 23:05
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