Skip to content

Comments

Fix deadline#376

Merged
S1ro1 merged 6 commits intomainfrom
fix-deadline
Nov 30, 2025
Merged

Fix deadline#376
S1ro1 merged 6 commits intomainfrom
fix-deadline

Conversation

@S1ro1
Copy link
Member

@S1ro1 S1ro1 commented Nov 30, 2025

No description provided.

Copilot AI review requested due to automatic review settings November 30, 2025 08:59
@github-actions
Copy link

Coverage report

Click to see where and how coverage changed

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

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

@S1ro1 S1ro1 merged commit 33eef59 into main Nov 30, 2025
4 of 7 checks passed
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR addresses two main issues: fixing the deadline comparison logic to use full datetime objects instead of just dates, and adding validation to detect and handle submissions containing the word "stream" to prevent improper CUDA stream usage.

  • Fixed deadline comparison to use full datetime instead of date-only comparison for more accurate deadline validation
  • Added stream detection across all submission entry points (Discord bot, API) with warning messages
  • Enhanced report generation to support optional extra text parameter for displaying warnings

Reviewed changes

Copilot reviewed 1 out of 1 changed files in this pull request and generated no comments.

Show a summary per file
File Description
src/libkernelbot/submission.py Fixed deadline comparison to use full datetime objects instead of date-only comparison
src/libkernelbot/report.py Added optional extra_text parameter to generate_report for prepending messages, plus minor formatting improvements
src/libkernelbot/backend.py Added stream detection warning message and formatting improvements for function signature
src/kernelbot/cogs/leaderboard_cog.py Added stream validation that rejects Discord submissions containing "stream" keyword
src/kernelbot/api/api_utils.py Added stream validation that rejects API submissions containing "stream" keyword

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

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