|
|
22a7d8bf23
|
ci: disable undesirable linters in the code linter GitHub action
|
2024-08-17 12:25:57 +02:00 |
|
|
|
6b19b82ed6
|
ci: bump Super-linter to 7.0.0
|
2024-08-16 09:16:21 +02:00 |
|
|
|
2d1f1aa05b
|
ci: restrict the CI actions permissions
|
2024-08-15 13:50:01 +02:00 |
|
|
|
fc4d83b445
|
fix: formatting
|
2024-08-15 13:49:11 +02:00 |
|
|
|
c8510574b5
|
ci: add a GitHub action for code linting
|
2024-08-15 12:42:00 +02:00 |
|
