Improve find ungraded submissions tools#533

Merged

DavidWhitlock merged 20 commits intoSummer2026-SNAPSHOTfrom

issue-531/improve-find-ungraded-submissions

Apr 25, 2026

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

Commits on Apr 25, 2026