5 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
Matouš Volf	6b19b82ed6	ci: bump Super-linter to 7.0.0	2024-08-16 09:16:21 +02:00
Matouš Volf	2d1f1aa05b	ci: restrict the CI actions permissions	2024-08-15 13:50:01 +02:00
Matouš Volf	fc4d83b445	fix: formatting	2024-08-15 13:49:11 +02:00
Matouš Volf	c8510574b5	ci: add a GitHub action for code linting	2024-08-15 12:42:00 +02:00