Matthias c1a7fc873d Speed up ci by running coverage only where necessary		2022-04-23 11:47:10 +02:00
..
ci.yml	Speed up ci by running coverage only where necessary	2022-04-23 11:47:10 +02:00
docker_update_readme.yml	Fix pre-commit indentation	2022-04-23 11:22:00 +02:00