4 commits

Author	SHA1	Message	Date
Jan Wagner	c1b122a000	Updating build pipelines	2022-10-20 13:00:33 +02:00
Jan Wagner	b710d08727	ci: pin action versions	2021-07-21 15:39:14 +02:00
Jan Wagner	8e8f3679fc	Do not remove .git* anymore	2021-07-16 23:27:01 +02:00
Jan Wagner	4ffef4124a	Adding Github CI	2020-12-27 23:42:17 +01:00