GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-06 13:18:55 +00:00
parent 48e5406ef8
commit 9468b4f956