GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-06-23 19:32:26 +00:00
parent 06815d97ee
commit d453d4775f