ci: linter configuration #10

Merged
matous-volf merged 1 commits from ci/linter-configuration into main 2024-08-17 10:30:36 +00:00

1 Commits

Author SHA1 Message Date
Matouš Volf
22a7d8bf23 ci: disable undesirable linters in the code linter GitHub action 2024-08-17 12:25:57 +02:00