Improve find ungraded submissions tools#533

Open

DavidWhitlock wants to merge 17 commits intomainfrom

issue-531/improve-find-ungraded-submissions

Commits on Jan 30, 2026

Break ground on #531 by printing out the names of the .out files that need to be graded instead of the .zip file that have already been tested.
DavidWhitlock
committed

Commits on Feb 1, 2026

Begin adding new capabilities to the `FineUngradedSubmission` tool that identify graded project submissions (.out) files whose grades haven't been recorded yet.
DavidWhitlock
committed
More progress on detecting graded project submissions whose grades haven't been recorded.
DavidWhitlock
committed
Add some imports.
DavidWhitlock
committed

Commits on Feb 3, 2026

Commits on Feb 7, 2026

Commits on Feb 8, 2026

Commits on Mar 17, 2026

Identify the name of the Android project.
DavidWhitlock
committed