Skip to content

Conversation

mariankrotil
Copy link
Contributor

Do we want to cover this tool in the search tool module?

Copy link
Contributor

@vita-stejskal vita-stejskal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it makes sense to move this tool among the search tools. It's in fact a search tool and the component tools are many and large.

@mariankrotil mariankrotil merged commit e0be650 into AI-1172-global-search-tests Jul 14, 2025
16 checks passed
@mariankrotil mariankrotil deleted the AI-1172-search-tools-ref branch July 14, 2025 10:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants