2 commits

Author	SHA1	Message	Date
Jörg Thalheim	52d63e8b8e	github actions: better defaults ... in case someone forgets to update those	2020-08-14 20:15:15 +01:00
Jörg Thalheim	1ecaceb94f	add github action support	2020-08-13 10:10:57 +01:00