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.

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

Optimize records and rankings queries #9975

Draft
wants to merge 21 commits into
base: main
Choose a base branch
from

Commits on Sep 20, 2024

  1. Configuration menu
    Copy the full SHA
    db59529 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ce5aa44 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    99ea0eb View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7f1e14d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2534107 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    ba9ca93 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    efe65cb View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    19eb07a View commit details
    Browse the repository at this point in the history
  9. Only unfold attempts > 0

    gregorbg committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    8e2fadd View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    42739b8 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    5db9e5a View commit details
    Browse the repository at this point in the history
  12. Add table for raw records

    gregorbg committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    1e2965c View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    7b7efaa View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    2d5f136 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    1214285 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    9f33ff5 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    f883b6f View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    2282851 View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    feb9d1d View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    e272f05 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2024

  1. Configuration menu
    Copy the full SHA
    61edc96 View commit details
    Browse the repository at this point in the history