Skip to content

Merge v9.4 into main#749

Merged
JWhitleyWork merged 3 commits into
mainfrom
merge-v9.4-main-32473
Jun 30, 2026
Merged

Merge v9.4 into main#749
JWhitleyWork merged 3 commits into
mainfrom
merge-v9.4-main-32473

Conversation

@github-actions

Copy link
Copy Markdown

Ready for merge!

@JWhitleyWork JWhitleyWork marked this pull request as ready for review June 30, 2026 17:25
@JWhitleyWork JWhitleyWork added this to the 10.0.0 milestone Jun 30, 2026
@JWhitleyWork JWhitleyWork enabled auto-merge June 30, 2026 17:26
@JWhitleyWork JWhitleyWork merged commit 026962b into main Jun 30, 2026
12 checks passed
@JWhitleyWork JWhitleyWork deleted the merge-v9.4-main-32473 branch June 30, 2026 17:54
@github-actions

Copy link
Copy Markdown
Author

MoveIt Pro Example WS - Objectives Integration Test Report

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