Add option to specify an additional overshoot time when kicking off a…

meisterT commented 1 month ago

… rejudging.

Fixes #2700.

vmcj commented 1 month ago

PHPStan found some issues.

meisterT commented 1 month ago

Phpstan is happy now

sentry-io[bot] commented 1 month ago

Suspect Issues

This pull request was deployed and Sentry observed the following issues:

‼️ Doctrine\DBAL\Exception\UniqueConstraintViolationException: An exception occurred while executing a query: SQLSTATE[23000]: Integrity constraint violation: 1... /src/Service/DOMJudgeService.php in App\Service... View Issue
‼️ Doctrine\DBAL\Exception\UniqueConstraintViolationException: An exception occurred while executing a query: SQLSTATE[23000]: Integrity constraint violation: 1... /src/Service/DOMJudgeService.php in App\Service... View Issue

_{Did you find this useful? React with a 👍 or 👎}