Improve internal error when the compare script errors.#2939
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Mar 2, 2025
Merged
Improve internal error when the compare script errors.#2939meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom