Skip to content

Skip trashtalk for beginner problems#513

Merged
msaroufim merged 1 commit into
mainfrom
agent/skip-beginner-trashtalk
Jul 13, 2026
Merged

Skip trashtalk for beginner problems#513
msaroufim merged 1 commit into
mainfrom
agent/skip-beginner-trashtalk

Conversation

@msaroufim

Copy link
Copy Markdown
Member

Summary

  • exclude the eight beginner _v2 leaderboards from the top-three trashtalk watcher
  • skip them before querying per-GPU standings
  • retain polling and announcements for normal public, active leaderboards

Why

The beginner leaderboards are high-volume introductory problems where podium-change trashtalk is not useful. The watcher previously treated them like every other active public leaderboard.

Validation

  • uv run pytest tests/test_top_three.py (12 passed)
  • uv run ruff check src/kernelbot/cogs/top_three_cog.py tests/test_top_three.py

@github-actions

Copy link
Copy Markdown

Coverage report

Click to see where and how coverage changed

FileStatementsMissingCoverageCoverage
(new stmts)
Lines missing
  src/libkernelbot
  utils.py
Project Total  

This report was generated by python-coverage-comment-action

@msaroufim msaroufim merged commit d95a3ae into main Jul 13, 2026
4 checks passed
@msaroufim msaroufim deleted the agent/skip-beginner-trashtalk branch July 13, 2026 21:04
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.

1 participant