Jonne Haß b8a85850e1 Migrate from Travis to Github Actions ... closes #8178		2020-11-02 15:20:53 +01:00
..
workflows	Migrate from Travis to Github Actions	2020-11-02 15:20:53 +01:00