GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-08 09:30:08 +00:00
parent 54e2f0654e
commit 6df4c2cd01