Show judging timestamp in the interface

[Kevinjil]

Description of the enhancement request

When reviewing judgings in the admin interface, it can be relevant to know when a judging was run.

The goal you want to achieve

When problem configuration, such as testcases, have changed, it can be relevant to know when a (jury) submission has been created.
We should discuss where to put it in the interface.

Expected behaviour

1. open /jury/submissions/<id>
2. see judging time

[meisterT]

I changed the page recently and probably it got lost there (I thought I kept something like n minutes ago on this set of judgehosts but don't see it on demoweb).

If you change anything relevant to judging that we know of (including test data), we should show a warning message though. So if that's missing as well, we should also add it for this case.

[meisterT]

It is available when you hover over how long the judging took: https://github.com/DOMjudge/domjudge/blob/main/webapp/templates/jury/submission.html.twig#L397

That is not very discoverable, but the page already has a lot of info.

---

When problem configuration, such as testcases, have changed, it can be relevant to know when a (jury) submission has been created.

I think we should have explicit warning messages if anything relevant has changed instead. Also, when creating a rejudging you can select a problem and rejudge all incorrect verdicts before/after a specific time:

[eldering]

It is available when you hover over how long the judging took: https://github.com/DOMjudge/domjudge/blob/main/webapp/templates/jury/submission.html.twig#L397

That is not very discoverable, but the page already has a lot of info.

I think it would be better to make it a hover over the start time in the judging table. I'd more expect it there and there's already the start time of the judging (by default in HH:MM format).

[meisterT]

Note that we do not display the judgings table in the normal case, i.e. when no rejudging occured.

[eldering]

Suggestion from IRL discussion: add before/after "took x seconds" something like "started at y".

Maybe you have input @thijskh ?