Skip to content

ci: add GitHub Actions workflow for linting#21

Merged
hrosicka merged 5 commits into
masterfrom
ci/add-linting-workflow
Jun 19, 2026
Merged

ci: add GitHub Actions workflow for linting#21
hrosicka merged 5 commits into
masterfrom
ci/add-linting-workflow

Commits