Skip to content

Add missing VocabTreeMatching.num_threads in option manager#3389

Merged
ahojnnes merged 1 commit intomainfrom
user/jsch/vocab-tree-matching-options-num-threads
Jun 10, 2025
Merged

Add missing VocabTreeMatching.num_threads in option manager#3389
ahojnnes merged 1 commit intomainfrom
user/jsch/vocab-tree-matching-options-num-threads

Conversation

@ahojnnes
Copy link
Copy Markdown
Contributor

No description provided.

Copy link
Copy Markdown

@paulinus paulinus left a comment

Choose a reason for hiding this comment

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

Any way that could have found automatically?

@ahojnnes
Copy link
Copy Markdown
Contributor Author

ahojnnes commented Jun 10, 2025

Any way that could have found automatically?

Good question, but I don't think this can be tested (with reasonable effort).

@ahojnnes ahojnnes merged commit a40b8e2 into main Jun 10, 2025
14 checks passed
@ahojnnes ahojnnes deleted the user/jsch/vocab-tree-matching-options-num-threads branch June 10, 2025 12:42
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.

2 participants