GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-07 09:10:32 +00:00
parent 223e4c334b
commit 2c4808172d