diff --git a/docker/helion.Dockerfile b/docker/helion.Dockerfile index 297bae0d0..b48561949 100644 --- a/docker/helion.Dockerfile +++ b/docker/helion.Dockerfile @@ -60,6 +60,18 @@ RUN sudo uv pip install --system flash-linear-attention # --no-build-isolation: use system torch (cu130) instead of build env pulling cu128 from PyPI RUN sudo uv pip install --system --no-build-isolation causal-conv1d +# jq for payload extraction in the workflow +RUN sudo apt-get update && sudo apt-get install -y --no-install-recommends jq \ + && sudo rm -rf /var/lib/apt/lists/* + +# Kernelbot runner dependencies (only what github-runner.py / run_eval.py actually imports) +RUN sudo uv pip install --system \ + PyGithub \ + aiohttp \ + python-dotenv \ + requests \ + PyYAML + # # tinygrad # RUN sudo uv pip install --system tinygrad~=0.10 diff --git a/src/kernelbot/cogs/leaderboard_cog.py b/src/kernelbot/cogs/leaderboard_cog.py index 457321f38..977212b9c 100644 --- a/src/kernelbot/cogs/leaderboard_cog.py +++ b/src/kernelbot/cogs/leaderboard_cog.py @@ -635,8 +635,6 @@ async def get_help( # Leaderboard Commands Help ## Basic Commands -- `/get-api-url` \ -- For popcorn-cli users, get the API URL - `/leaderboard list` \ - View all active leaderboards - `/leaderboard help` \ diff --git a/src/kernelbot/cogs/misc_cog.py b/src/kernelbot/cogs/misc_cog.py index 09e78bc8a..5b4d24886 100644 --- a/src/kernelbot/cogs/misc_cog.py +++ b/src/kernelbot/cogs/misc_cog.py @@ -1,4 +1,3 @@ -import os from typing import TYPE_CHECKING import discord @@ -51,19 +50,3 @@ async def verify_db(self, interaction: discord.Interaction): message = "Error interacting with the database" logger.error(f"{message}: {str(e)}", exc_info=True) await send_discord_message(interaction, f"{message}.") - - @app_commands.command(name="get-api-url") - async def get_api_url(self, interaction: discord.Interaction): - if not os.environ.get("HEROKU_APP_DEFAULT_DOMAIN_NAME"): - await send_discord_message( - interaction, - "No `HEROKU_APP_DEFAULT_DOMAIN_NAME` present," - " are you sure you aren't running locally?", - ephemeral=True, - ) - else: - await send_discord_message( - interaction, - f"API URL: `https://{os.environ['HEROKU_APP_DEFAULT_DOMAIN_NAME'].rstrip('/')}`", - ephemeral=True, - )