GitHub bot: fix linting issues

This commit is contained in:
github-actions
2025-06-15 10:58:19 +00:00
parent d55998ef34
commit d16219613b

View File

@@ -1,6 +0,0 @@
# Super-linter summary
| Language | Validation result |
| -------- | ----------------- |
All files and directories linted successfully