Simon Frings 2b9a7d812e Use GitHub actions for continuous integration (CI)		2021-12-07 11:59:03 +01:00
..
workflows	Use GitHub actions for continuous integration (CI)	2021-12-07 11:59:03 +01:00