Skip to content

Specify allow_goal_modification option to goal via AcquirePositionAction.allow_goal_modification parameter#1590

Merged
HansRobo merged 30 commits intomasterfrom
feature/change_allow_goal_modification
May 22, 2025
Merged

Specify `allow_goal_modification` option to goal via `AcquirePositionAction.allow_goal_modification` parameter#1590
HansRobo merged 30 commits intomasterfrom
feature/change_allow_goal_modification

Commits

Commits on May 13, 2025