Skip to content

Fix task execution for tools with custom names#2645

Merged
chrisguidry merged 2 commits intomainfrom
2642-task-custom-name
Dec 18, 2025
Merged

Fix task execution for tools with custom names#2645
chrisguidry merged 2 commits intomainfrom
2642-task-custom-name

Commits

Commits on Dec 18, 2025