Skip to content

Use a priority queue for TopKSearchResults. This speeds up handling of large result lists substantially. #132

Use a priority queue for TopKSearchResults. This speeds up handling of large result lists substantially.

Use a priority queue for TopKSearchResults. This speeds up handling of large result lists substantially. #132

Annotations

1 warning

test on 3.11 on ubuntu-latest

succeeded May 20, 2024 in 1m 22s