GitHub Education Auto-grading (derivative) Derivative of education/autograding action that: Updates various dependencies (original seems to be abandonware?) Adds rudimentary support for partial credit