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

WIP: Feat/local submissions #143

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from
Draft

WIP: Feat/local submissions #143

wants to merge 5 commits into from

Conversation

S1ro1
Copy link
Collaborator

@S1ro1 S1ro1 commented Jan 19, 2025

Description

An addition to bot functionality, acting as a simple rest api to support local submissions via a cli cli.

The changes make bot.py code a bit ugly, but should be able to clean it up a bit.
An example of how the cli could work: example

Also would require future changes on more places (CLI and bot together), but I made the cli in ~45minutes of my time so maintanance of that shouldn't be too harsh.

Checklist

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

  • 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.

@S1ro1 S1ro1 force-pushed the feat/local-submissions branch from 2a2af78 to efe58d9 Compare January 19, 2025 23:46
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