Sign up
View stargazers0Sign up

assistant2: Sort tools in the tool selector by ID (#27247)

This PR makes it so the tools in the tool selector are sorted by ID so
that they have a deterministic order.

Release Notes:

- N/A
4e93e38b0aMarshall Bowers committed on 3/21/2025, 2:41:27 PM· committed by GitHubparent05aa888
1 file changedLine totals unavailable