4 commits

Author	SHA1	Message	Date
Jan Wagner	14b52890f8	Updating build pipelines	2022-10-20 13:07:47 +02:00
Jan Wagner	03a0d32d25	ci: pin action versions	2021-07-21 15:44:19 +02:00
Jan Wagner	855d9c168d	Do not remove .git* anymore	2021-07-16 23:21:42 +02:00
Jan Wagner	88f1ad9523	Adding Github CI	2020-12-27 23:37:24 +01:00