Cleaning up the index-search file #2150

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

Merged

erikvansebille merged 2 commits into v4-dev from cleaning_index_search

Sep 1, 2025

Merged

Cleaning up the index-search file #2150

Merge branch 'v4-dev' into cleaning_index_search

Codecov / codecov/project succeeded Sep 1, 2025 in 1s

81.82% (+3.49%) compared to 3fb4473

View this Pull Request on Codecov

81.82% (+3.49%) compared to 3fb4473

View more details on Codecov