Skip to content

(#100) moved search_limit parameter to SearchParams instead of source…#105

Merged
AndreaBrg merged 1 commit intomainfrom
100-move-search_limit-into-search-function
Nov 17, 2025
Merged

(#100) moved search_limit parameter to SearchParams instead of source…#105
AndreaBrg merged 1 commit intomainfrom
100-move-search_limit-into-search-function

Conversation

@AndreaBrg
Copy link
Member

…s' init

@AndreaBrg AndreaBrg requested a review from edornd November 17, 2025 15:35
@AndreaBrg AndreaBrg linked an issue Nov 17, 2025 that may be closed by this pull request
Copy link
Member

@edornd edornd left a comment

Choose a reason for hiding this comment

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

lgtm

@AndreaBrg AndreaBrg merged commit bb7d6e6 into main Nov 17, 2025
8 checks passed
@AndreaBrg AndreaBrg deleted the 100-move-search_limit-into-search-function branch November 17, 2025 15:49
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.

Move search_limit into search() function

2 participants