ci: GitHub action for code linting #6

Merged
matous-volf merged 5 commits from ci/lint-check into main 2024-08-15 11:55:20 +00:00

5 Commits

Author SHA1 Message Date
Matouš Volf
2d1f1aa05b ci: restrict the CI actions permissions 2024-08-15 13:50:01 +02:00
Matouš Volf
943f0d48ca ci: rename the conventional PRs action job 2024-08-15 13:49:34 +02:00
Matouš Volf
fc4d83b445 fix: formatting 2024-08-15 13:49:11 +02:00
Matouš Volf
e130da77f4 ci: make the conventional commits and PR actions more consistent 2024-08-15 12:42:25 +02:00
Matouš Volf
c8510574b5 ci: add a GitHub action for code linting 2024-08-15 12:42:00 +02:00