Skip to content

Add optional user location information to GrokSearchTool#82

Merged
kzu merged 1 commit intomainfrom
dev/location
Mar 4, 2026
Merged

Add optional user location information to GrokSearchTool#82
kzu merged 1 commit intomainfrom
dev/location

Conversation

@kzu
Copy link
Copy Markdown
Member

@kzu kzu commented Mar 4, 2026

This allows customizing the scope of the web search.

This allows customizing the scope of the web search.
@kzu kzu added the enhancement New feature or request label Mar 4, 2026
@kzu kzu enabled auto-merge (rebase) March 4, 2026 20:43
@kzu
Copy link
Copy Markdown
Member Author

kzu commented Mar 4, 2026

31 passed 31 passed 26 skipped

🧪 Details on Ubuntu 24.04.3 LTS

from retest v1.1.0 on .NET 10.0.3 with 💜 by @devlooped

@kzu kzu merged commit 2b95aa3 into main Mar 4, 2026
4 checks passed
@kzu kzu deleted the dev/location branch March 4, 2026 20:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant