3 commits

Author	SHA1	Message	Date
Jörg Thalheim	8d9b27ab8d	ci: pin nix in all nix-shell scripts	2021-02-06 11:31:36 +01:00
Jörg Thalheim	b3a39410e7	switch to github actions from travis	2020-11-29 17:36:04 +01:00
Jörg Thalheim	64d5a2a9ab	ci: split nur update from pr testing	2020-03-12 16:06:28 +00:00