Properly record start and end times of judging runs.#3061
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Sep 2, 2025
Merged
Properly record start and end times of judging runs.#3061meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
