Dirk Stolle 06946018d6 Remove Ubuntu 20.04 builds from CI ...

The Ubuntu 20.04 image on GitHub Actions has been unavailable
since 2025-04-15. See <https://github.com/actions/runner-images/issues/11101>
for more information on the deprecation and removal.

Therefore all build jobs that use the Ubuntu 20.04 runner image
of GHA will fail and have to be replaced by newer images or have
to move into Ubuntu 20.04 containers.

2025-05-05 22:30:26 +08:00

..

workflows

Remove Ubuntu 20.04 builds from CI

2025-05-05 22:30:26 +08:00