Skip to content

Sort aggregated tools by name for deterministic embedding order - #5709

Merged
jerm-dro merged 1 commit into
stacklok:mainfrom
gabrielcosi:sort-aggregated-tools
Jul 2, 2026
Merged

jerm-dro merged 1 commit into
stacklok:mainfrom
gabrielcosi:sort-aggregated-tools

Commits

Commits on Jul 2, 2026