|
|
287bedc287
|
ci: disable undesirable linters in the code linter GitHub action
|
2024-08-17 12:25:57 +02:00 |
|
|
|
7ab6a3bbe7
|
ci: bump Super-linter to 7.0.0
|
2024-08-16 09:16:21 +02:00 |
|
|
|
44a4e69a62
|
ci: restrict the CI actions permissions
|
2024-08-15 13:50:01 +02:00 |
|
|
|
a3ef07cf10
|
fix: formatting
|
2024-08-15 13:49:11 +02:00 |
|
|
|
261cf31e61
|
ci: add a GitHub action for code linting
|
2024-08-15 12:42:00 +02:00 |
|
