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

Use new score index for leaderboard #10890

Merged
merged 21 commits into from
Jan 30, 2024
Merged

Use new score index for leaderboard #10890

merged 21 commits into from
Jan 30, 2024

Conversation

nanaya
Copy link
Collaborator

@nanaya nanaya commented Jan 24, 2024

Only changes the leaderboard mainly to see how it performs and if it works right.

depends on:

nanaya added 13 commits January 16, 2024 15:10
- a bunch of attributes are moved out of the json
- pp and legacy id moved to main scores table
It expects database row structure so just give it database row structure.
Add new score attributes to legacy model.
(again, as the previous one was overwritten by another commit)
peppy
peppy previously approved these changes Jan 30, 2024
@nanaya nanaya dismissed peppy’s stale review January 30, 2024 05:02

The merge-base changed after approval.

@peppy peppy merged commit dfbbc7c into ppy:master Jan 30, 2024
3 checks passed
@nanaya nanaya deleted the score-solo-index branch February 27, 2024 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants