Skip to content

Conversation

scpeters
Copy link
Member

➡️ Forward port

Port gz-sim9 ➡️ main

Branch comparison: main...gz-sim9

Note to maintainers: Remember to Merge with commit (not squash-merge or rebase)

@scpeters scpeters requested a review from mjcarroll as a code owner March 30, 2025 00:40
@github-actions github-actions bot added the 🪵 jetty Gazebo Jetty label Mar 30, 2025
@scpeters
Copy link
Member Author

Homebrew test failures are unrelated

@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Mar 31, 2025
@scpeters scpeters merged commit 338eba3 into main Mar 31, 2025
9 of 10 checks passed
@scpeters scpeters deleted the scpeters/merge_9_main branch March 31, 2025 15:54
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Mar 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🪵 jetty Gazebo Jetty

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants