Set Ubuntu runner image to latest (20.04) no longer supported (!700) · Merge requests · OpenHW Group / backup-20251203 / programs

Update in reaction to message from GitHub:

The Ubuntu 20.04 runner image will be fully unsupported by April 1, 2025.

Yes, this update is for ReadTheDocs, but it is expected that the same issue will happen at RTD as well.

Set Ubuntu runner image to latest (20.04) no longer supported