Kevin Jilissen

The example tests run with the tools first found in the configured PATH. Currently, if e.g. a system-wide mCRL2 install is present, the tests are run against this installation instead...

When taking the intersection or difference of a set/bag, it should be possible to yield a finite set/bag if we are certain this is representable. This is the certainly the...

Currently, only files in the `.github/jobs` directory are tested.

Using bash now, I'd revert this for simplicity. _Originally posted by @eldering in https://github.com/DOMjudge/domjudge/pull/2659#discussion_r1730441924_

Give API error responses in JSON format

1

### Description of the enhancement request Currently, a 404 on an API endpoints gives a HTML page back. This is both wasteful in rendering and annoying to parse on the...

Series metadata

3

Add series as actual series in Jellyfin. This fetches all metadata like with series provided from file based libraries. Depends on https://github.com/jellyfin/jellyfin/pull/13356

Filter seasons with empty air date

2

Fixes #151

Penalty time parsing from external data source in new draft spec

2

The CDS already implements the new draft spec, and exposes the penalty time as a relative time string instead of an integer in seconds. We probably want to create a...

Show judging timestamp in the interface

5

### 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...

Relax Xtream API requirements

1

There are fields in the API response which are not strictly necessary for this plugin to function. We should go over all response objects and relax parsing API responses s.t....