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 54aec3638f - Show all commits