Jörg Thalheim 52c4cdb006 make ci check a bit less verbose		2023-07-13 11:37:15 +02:00
..
workflows	make ci check a bit less verbose	2023-07-13 11:37:15 +02:00