Skip to content

Conversation

URJala
Copy link
Collaborator

@URJala URJala commented Sep 16, 2025

Also adds a CI job to build the documentation.

Would like your opinion on this, before I do it in the other packages as well.

@urfeex urfeex self-requested a review September 16, 2025 12:29
@urfeex urfeex added the documentation Improvements or additions to documentation label Sep 16, 2025
Copy link
Member

@urfeex urfeex left a comment

Choose a reason for hiding this comment

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

Except for the push branch this looks good.

@urfeex urfeex merged commit 05c0460 into UniversalRobots:rolling Sep 16, 2025
9 checks passed
mergify bot pushed a commit that referenced this pull request Sep 16, 2025
* Add migration notes to package docs
* Add doc building CI job

(cherry picked from commit 05c0460)
urfeex pushed a commit that referenced this pull request Sep 16, 2025
* Add migration notes to package docs
* Add doc building CI job
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport-jazzy documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants