[Developer] Summer Reports 2026#769

bmcutler merged 2 commits into

mainSubmitty/submitty.github.io:mainfrom

summer_reports_2026Submitty/submitty.github.io:summer_reports_2026Copy head branch name to clipboard