Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions docker/helion.Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 0 additions & 2 deletions src/kernelbot/cogs/leaderboard_cog.py
Original file line number Diff line number Diff line change
Expand Up @@ -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` \
Expand Down
17 changes: 0 additions & 17 deletions src/kernelbot/cogs/misc_cog.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
import os
from typing import TYPE_CHECKING

import discord
Expand Down Expand Up @@ -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,
)
Loading