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

Small fixes and improvements #144

Merged
merged 7 commits into from
Jan 21, 2025
Merged

Small fixes and improvements #144

merged 7 commits into from
Jan 21, 2025

Conversation

ngc92
Copy link
Collaborator

@ngc92 ngc92 commented Jan 20, 2025

Each commit here is a mostly independent fix or usability improvement. I didn't want to create a whole bunch of PRs for this, but if there is any non-trivial problem here, I'd just separate that commit out into its own PR.

Mostly small code cleanups, but also some small usability improvements:

  1. leaderboard creation checks that deadline is not in the past
  2. if a leaderboard allows exactly one GPU, the GPU selection popup is avoided (really nice for debugging)

@ngc92 ngc92 merged commit ec7ae96 into main Jan 21, 2025
3 checks passed
@ngc92 ngc92 deleted the ngc92/cleanup branch January 21, 2025 10:02
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