Closed acelaya closed 1 month ago
This PR adds some extra types around auto-grading, with the purpose of:
Both server/python types are equivalent, so we are reusing the same definition here.
This PR adds some extra types around auto-grading, with the purpose of:
Both server/python types are equivalent, so we are reusing the same definition here.