Matthias f4bd424226 Remove deprecated ubuntu image ...

Follows anouncement in https://github.blog/changelog/2022-08-09-github-actions-the-ubuntu-18-04-actions-runner-image-is-being-deprecated-and-will-be-removed-by-12-1-22/

2023-02-21 18:29:00 +01:00

..

ci.yml

Remove deprecated ubuntu image

2023-02-21 18:29:00 +01:00

docker_update_readme.yml

Fix pre-commit indentation

2022-04-23 11:22:00 +02:00