Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Oct 12, 2025

Description

Similar to #5595.

Did you use Generative AI?

Additional Information


This is an automatic backport of pull request #5934 done by [Mergify](https://mergify.com).

Signed-off-by: Christophe Bedard <[email protected]>
(cherry picked from commit 4b179b8)
@github-actions
Copy link

HTML artifacts: https://github.com/ros2/ros2_documentation/actions/runs/18438310078/artifacts/4246713355.

To view the resulting site:

  1. Click on the above link to download the artifacts archive
  2. Extract it
  3. Open html-artifacts-5938/index.html in your favorite browser

@fujitatomoya fujitatomoya merged commit 0cc5d19 into kilted Oct 12, 2025
5 checks passed
@fujitatomoya fujitatomoya deleted the mergify/bp/kilted/pr-5934 branch October 12, 2025 03:12
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