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.

Sign up for GitHub

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

Jump to bottom

[Leaderboard] Added top 200 points #5816

Merged
merged 2 commits into from
Aug 31, 2020
Merged

[Leaderboard] Added top 200 points #5816

merged 2 commits into from
Aug 31, 2020

Conversation

MartinMinkov
Copy link
Contributor

@MartinMinkov MartinMinkov commented Aug 31, 2020 •
edited
Loading

Added points for top 200 users in Challenge 2 and Challenge 4 for release 3.3

Closes #5811

@MartinMinkov MartinMinkov requested a review from a team as a code owner August 31, 2020 18:03
@MartinMinkov MartinMinkov added ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR ci-build-me Add this label to trigger a circle+buildkite build for this branch labels Aug 31, 2020
@MartinMinkov MartinMinkov merged commit 1604fe5 into develop Aug 31, 2020
@MartinMinkov MartinMinkov deleted the leaderboard/points_fix branch August 31, 2020 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@figitaki figitaki figitaki approved these changes

Assignees
No one assigned
Labels
ci-build-me Add this label to trigger a circle+buildkite build for this branch ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[Leaderboard] Add points for top 200
2 participants
@MartinMinkov @figitaki