ci: linter configuration #10

Merged

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

Conversation 3 Commits 1 Files Changed 1 +5

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