improved search service #359

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

tpae merged 1 commit into main from chore/improve-search-filter

Jan 20, 2026

Contributor

tpae commented Jan 20, 2026

Summary

fixes #355

Checklist

I have read CONTRIBUTING.md
I added/updated tests where reasonable
I updated docs/README as needed
I verified build on macOS with Xcode 16.4+


          improved search service

a17c274

github-actions bot added the chore label

tpae merged commit 53342f0 into main

1 check passed

github-actions bot added pending release released and removed pending release labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels