Skip to content

Conversation

@campos20
Copy link
Member

Copy link
Member

@gregorbg gregorbg left a comment

Choose a reason for hiding this comment

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

Thanks for catching up so quickly! I think there's many more places that need to be updated actually

@campos20
Copy link
Member Author

campos20 commented May 5, 2025

This still does not fix sum of ranks and best ever ranks. Fix incoming.

@campos20 campos20 merged commit 72ad685 into thewca:main May 5, 2025
1 check failed
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