Skip to content

Conversation

@azeey
Copy link
Contributor

@azeey azeey commented Oct 24, 2025

🦟 Bug fix

Summary

#3156 fixed an issue that was preventing documentation from being properly generated. However, this should have been caught in CI checks. These checks were disabled long ago due to #1409, but that issue has been closed for a while, so this PR reenables these checks.

Checklist

  • Signed all commits for DCO
  • Added tests
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers
  • Was GenAI used to generate this PR? If so, make sure to add "Generated-by" to your commits. (See this policy for more info.)

Generated-by: Remove this if GenAI was not used.

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by and Generated-by messages.

Signed-off-by: Addisu Z. Taddese <[email protected]>
@scpeters
Copy link
Member

see also draft PR #2943 and gazebo-tooling/release-tools#1222

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Inbox

Development

Successfully merging this pull request may close these issues.

3 participants