Skip to content

Remove automatic creation of active-leaderboards channels#265

Merged
S1ro1 merged 2 commits intomainfrom
phil/rm-leaderboard-channels
May 1, 2025
Merged

Remove automatic creation of active-leaderboards channels#265
S1ro1 merged 2 commits intomainfrom
phil/rm-leaderboard-channels

Conversation

@philipbutler
Copy link
Copy Markdown
Collaborator

Description

Remove the code bloacks that automatically create "active-leaderboards" channels

Checklist

Before submitting this PR, ensure the following steps have been completed:

  • ❌ (Don't have access to runners) Run the slash command /verifyruns on your own server.
    • Run the cluster bot on your server:
      python discord-bot.py
    • Start training runs with the slash command /verifyruns.
    • Verify that the bot eventually responds with:
      ✅ All runs completed successfully!
      
      (It may take a few minutes for all runs to finish. In particular, the GitHub
      runs may take a little longer. The Modal run is typically quick.)
      For more information on running a cluster bot on your own server, see
      README.md.

@msaroufim msaroufim requested a review from S1ro1 April 29, 2025 14:34
@philipbutler philipbutler force-pushed the phil/rm-leaderboard-channels branch from 148ef02 to 2dbc076 Compare May 1, 2025 18:34
@S1ro1
Copy link
Copy Markdown
Member

S1ro1 commented May 1, 2025

LGTM form first view, will test and approve.

Copy link
Copy Markdown
Member

@S1ro1 S1ro1 left a comment

Choose a reason for hiding this comment

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

LGTM! Thanks.

@S1ro1 S1ro1 merged commit 7193d04 into main May 1, 2025
3 checks passed
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