Skip to content
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

Use unranked rank profile. #4301

Merged
merged 1 commit into from
Dec 9, 2024
Merged

Use unranked rank profile. #4301

merged 1 commit into from
Dec 9, 2024

Conversation

toregge
Copy link
Member

@toregge toregge commented Dec 9, 2024

@geirst : please review

@toregge toregge requested a review from geirst December 9, 2024 16:33
@vekterli vekterli merged commit c5f059c into master Dec 9, 2024
2 checks passed
@vekterli vekterli deleted the toregge/use-unranked-rank-profile branch December 9, 2024 16:50
@toregge
Copy link
Member Author

toregge commented Dec 9, 2024 •
edited
Loading

The test uses rank-score-drop-limit in the default rank profile, thus the need to use the unranked rank profile after feeding to check if all documents are present.

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

@vekterli vekterli vekterli approved these changes

@geirst geirst Awaiting requested review from geirst

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@toregge @vekterli