Skip to content

ci: add github workflow for linting#11

Merged
hrosicka merged 2 commits into
masterfrom
ci/add-linting-workflow
Jun 25, 2026
Merged

ci: add github workflow for linting#11
hrosicka merged 2 commits into
masterfrom
ci/add-linting-workflow

Commits

Commits on Jun 25, 2026