GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-06 14:26:32 +00:00
parent 9250af0f0b
commit 9e7c5d30c2