Skip to content

chore: add query filter to search history tool#208

Merged
ArzelaAscoIi merged 1 commit into
mainfrom
chore/add-query-filter-to-search-history-tool
May 5, 2026
Merged

chore: add query filter to search history tool#208
ArzelaAscoIi merged 1 commit into
mainfrom
chore/add-query-filter-to-search-history-tool

Conversation

@YassineGabsi
Copy link
Copy Markdown
Contributor

No description provided.

@YassineGabsi YassineGabsi self-assigned this May 5, 2026
Copy link
Copy Markdown
Member

@ArzelaAscoIi ArzelaAscoIi left a comment

Choose a reason for hiding this comment

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

lovely

@YassineGabsi YassineGabsi enabled auto-merge (squash) May 5, 2026 09:21

async def list(self, limit: int = 10, after: str | None = None) -> PaginatedResponse[SearchHistoryEntry]:
async def list(
self, limit: int = 10, after: str | None = None, query_filter: str | None = None
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

FIY: we saw in the pipeline team that telling the model how to use a tool can be a bit challenging somethings. I guess you already added it to the prompt how to list etc, i guess 🤔 (otherwise it will probably retry until it works)

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

@ArzelaAscoIi I added The tool accepts query_filter as a param, so the time range and any other filter can be passed there. only, should i explain more how to actually provide it ?

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

no all good. i think it works 👍 Depending on the quality and speed etc, adding some examples etc to the agent for this filter might speed things up. But these are just iterations

@YassineGabsi YassineGabsi disabled auto-merge May 5, 2026 09:27
@ArzelaAscoIi ArzelaAscoIi merged commit 75afd5d into main May 5, 2026
6 checks passed
@ArzelaAscoIi ArzelaAscoIi deleted the chore/add-query-filter-to-search-history-tool branch May 5, 2026 09:28
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