Skip to content
CI_no_jaxtrain

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

Sign in to view logs

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. #129

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test on 3.10 on ubuntu-latest
1m 37s
test on 3.11 on ubuntu-latest
1m 18s
2m 55s