Skip to content

Merge v9.4 into main#741

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

Merge v9.4 into main#741
JWhitleyWork merged 3 commits into
mainfrom
merge-v9.4-main-20035

Conversation

@github-actions

Copy link
Copy Markdown

Ready for merge!

fdavulcu and others added 3 commits June 25, 2026 11:53
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…-completion

Tidy up the Sort Blocks objective in dual_arm_sim
@github-actions github-actions Bot requested review from JWhitleyWork and shaur-k June 26, 2026 06:23
@JWhitleyWork JWhitleyWork added this to the 10.0.0 milestone Jun 26, 2026
@JWhitleyWork JWhitleyWork marked this pull request as ready for review June 26, 2026 19:52
@JWhitleyWork JWhitleyWork enabled auto-merge June 26, 2026 19:52
@JWhitleyWork JWhitleyWork merged commit 70d154c into main Jun 26, 2026
12 checks passed
@JWhitleyWork JWhitleyWork deleted the merge-v9.4-main-20035 branch June 26, 2026 20:10
@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