Fix linter issues and add CI badge #22

Merged
otthorn merged 12 commits from fix_linter_issues into master 2021-02-16 18:23:30 +01:00
Showing only changes of commit 15ae83566c - Show all commits