Do not use @ in judgedaemon, but properly check for errors.#3155
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Oct 19, 2025
Merged
Do not use `@` in judgedaemon, but properly check for errors.#3155meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
