Skip to content

Merge gz-sim9 ➡️ main#2841

Merged
scpeters merged 2 commits intomainfrom
scpeters/merge_9_main
Mar 31, 2025
Merged

Merge gz-sim9 ➡️ main#2841
scpeters merged 2 commits intomainfrom
scpeters/merge_9_main

Conversation

@scpeters
Copy link
Copy Markdown
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
Copy Markdown
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

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants