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

meisterT · 2024-10-05T10:48:56Z

… rejudging.

Fixes #2700.

vmcj · 2024-10-05T11:22:35Z

PHPStan found some issues.

… rejudging. Fixes DOMjudge#2700.

meisterT · 2024-10-05T12:22:30Z

Phpstan is happy now

sentry-io · 2024-10-07T09:19:05Z

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 👎}

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

be69886

… rejudging. Fixes DOMjudge#2700.

meisterT force-pushed the rejudgeovershoot branch from 022cea6 to be69886 Compare October 5, 2024 12:09

vmcj approved these changes Oct 5, 2024

View reviewed changes

meisterT added this pull request to the merge queue Oct 6, 2024

Merged via the queue into DOMjudge:main with commit 652bb06 Oct 6, 2024
26 checks passed

meisterT deleted the rejudgeovershoot branch October 6, 2024 11:15