Skip to content

feat: Filter results#158

Merged
elementbound merged 6 commits intomainfrom
feat/result-filtering
Nov 2, 2025
Merged

feat: Filter results#158
elementbound merged 6 commits intomainfrom
feat/result-filtering

Conversation

@elementbound
Copy link
Copy Markdown
Contributor

Closes #156

@elementbound elementbound merged commit c146038 into main Nov 2, 2025
4 checks passed
@elementbound elementbound deleted the feat/result-filtering branch November 2, 2025 22:32
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.

Support result filters

1 participant