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