4 commits

Author	SHA1	Message	Date
Jan Wagner	e6e417836b	Updating build pipelines	2022-10-20 12:59:09 +02:00
Jan Wagner	492650502d	ci: pin action versions	2021-07-21 15:39:56 +02:00
Jan Wagner	b16de7788f	Do not remove .git* anymore	2021-07-16 23:30:21 +02:00
Jan Wagner	27de180b05	Adding Github CI	2020-12-27 23:40:54 +01:00