1 Pull request merged by 1 person

• Explicit handle ignoring the return code for failed error messages

  #3045 merged Aug 17, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Basic implementation of partial scoring.

  #3047 commented on Aug 17, 2025 • 6 new comments

• Add contest export script

  #3039 commented on Aug 17, 2025 • 3 new comments