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

Auto filtering functionality for leaderboards #2128

Merged
merged 2 commits into from
Dec 11, 2023
Merged

Conversation

farzaank
Copy link
Contributor

@farzaank farzaank commented Dec 9, 2023

A hacky way to automatically filter down models for leaderboards.

Tested & working on my fork at https://farzaank.github.io/helm/

I'll follow up with a PR for the style changes.

At some point, we will want to do this and some other leaderboard related functionality differently in the future, but that will require a larger leaderboard refactor (probably next quarter).

@farzaank farzaank requested a review from percyliang December 10, 2023 05:45
Copy link
Contributor

@percyliang percyliang left a comment

Choose a reason for hiding this comment

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

Great, thanks!

@yifanmai yifanmai merged commit 783d91a into main Dec 11, 2023
3 checks passed
@yifanmai yifanmai deleted the farzaan/leaderboard-sort branch December 11, 2023 21:11
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.

3 participants