Push notification for submission results

[mpsijm]

As a participant, it would be nice to get a push notification when the result of a submission comes in. DOMjudge already has notifications for incoming clarifications, but not yet for incoming submission results.

Previous description (quickly jotted down during NWERC)

See title 🙂 (@vmcj approves 👍)

[eldering]

Clarifying the title: we do have push notifications for clarifications and also for some jury things, but not for team receiving the result of a submission. A team complained about this at NWERC 2023 and said that this was working at BAPC. We could indeed reproduce that notifications about clarifications work, but not for submission results.

However, looking at the code at https://github.com/DOMjudge/domjudge/blob/main/webapp/public/js/domjudge.js, there is no call to sendNotification for submission results, so this has never worked. It would be a good feature though.

[Scarletto]

I would like to try to implement this

[meisterT]

Great, let us know (e.g. via https://domjudge-org.slack.com/) if you need any help.

[vmcj]

I would like to try to implement this

@Scarletto are you still planning to work on this? Anything we can help with?

[nickygerritsen]

Semi related to #1840