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

add survey link #3461

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

add survey link #3461

wants to merge 7 commits into from

Conversation

lisadunlap
Copy link
Collaborator

@lisadunlap lisadunlap commented Aug 2, 2024 •
edited
Loading

Why are these changes needed?

  • We need to know why people are coming to the arena also what sucks about it so we can make it all better
  • BIG CHANGE: Added per task and per language ranking leaderboard

Related issue number (if applicable)

Checks

  • I've run format.sh to lint the changes in this PR.
  • I've included any doc changes needed.
  • I've made sure the relevant tests are passing (if applicable).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@infwinston infwinston infwinston left review comments

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lisadunlap @infwinston