Skip to content

Handle picking up remaining judgings logic more generically #1772

New issue
New issue
Closed
#2973
Closed
Handle picking up remaining judgings logic more generically#1772
#2973
Labels
judging backend
@eldering

Description

@eldering
eldering
opened on Nov 7, 2022

See commit 1ce7825

Metadata

Metadata

Assignees

No one assigned

    Labels

    judging backend

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions