Skip to content

[Observability] Introduce property for tool server name#187

Merged
threddy merged 1 commit intomainfrom
users/threddy/tool-server-name
Jan 20, 2026
Merged

[Observability] Introduce property for tool server name#187
threddy merged 1 commit intomainfrom
users/threddy/tool-server-name

Commits

Commits on Jan 16, 2026