Skip to content

Make Definitions agree with the enum about tool order - #796

Merged
SimonCropp merged 1 commit into
mainfrom
fix-tool-order-disagreement
Aug 22, 2026
Merged

Make Definitions agree with the enum about tool order#796
SimonCropp merged 1 commit into
mainfrom
fix-tool-order-disagreement

Make Definitions agree with the enum about tool order

58a95c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
docs
succeeded Aug 22, 2026 in 24s