Skip to content

ci: setup linting on pr#13

Merged
nhitz merged 5 commits intomainfrom ci/lintApr 15, 2024