Jörg Thalheim a11a62cd4e replace ci script with nix-ci-build		2023-09-13 13:09:35 +02:00
..
workflows	replace ci script with nix-ci-build	2023-09-13 13:09:35 +02:00