Jakob Unterwurzacher 6f0ed4b8c4 github ci: Add Github Actions CI ... Add Github Actions and delete defunct Travis CI.		2021-07-29 12:36:05 +02:00
..
workflows	github ci: Add Github Actions CI	2021-07-29 12:36:05 +02:00