Fix and update CI #18

Merged
otthorn merged 8 commits from fix_and_update_ci into master 2021-02-16 13:10:53 +01:00
Showing only changes of commit 6f80cf0fd9 - Show all commits