Jörg Thalheim 80a32af201 replace travis with github action ... This way we get the latest nix.		2020-06-21 14:24:28 +01:00
..
workflows	replace travis with github action	2020-06-21 14:24:28 +01:00