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

GitHub refactor #137

Merged
merged 1 commit into from
Jan 19, 2025
Merged

GitHub refactor #137

merged 1 commit into from
Jan 19, 2025

Conversation

ngc92
Copy link
Collaborator

@ngc92 ngc92 commented Jan 18, 2025

refactors the github runner:
Most of the non-discord specific functionality is separated out into a helper, keeping only the actually discord-relevant bits inside the cog.
When testing, I also found that submitting a single script "run github" command was broken, because we unconditionally used to set eval.py, so there is also a drive-by fix here. [went away when rebasing]

It also tried to be closer to the modal cog, in that instead of spamming messages, we update one message as we're waiting for the run to finish.

when testing this locally, I get warnings like

2025-01-18 03:37:58 WARNING discord.gateway Shard ID None heartbeat blocked for more than 10 seconds.

not completely sure what this means, I guess it's blocking in a code path that shouldn't be?

@ngc92 ngc92 force-pushed the github-refactor branch 3 times, most recently from ad600ae to 9e1bdb2 Compare January 18, 2025 14:11
@ngc92 ngc92 merged commit ee9a0ae into main Jan 19, 2025
10 checks passed
@ngc92 ngc92 deleted the github-refactor branch January 19, 2025 20:43
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