Skip to content

Fix type of search_type in rank_eval#5695

Merged
pquentin merged 1 commit intomainfrom
rank-eval-search-type
Nov 18, 2025
Merged

Fix type of search_type in rank_eval#5695
pquentin merged 1 commit intomainfrom
rank-eval-search-type

Commits

Commits on Nov 18, 2025