GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-06-24 15:56:45 +00:00
parent 15937c08fc
commit 4245ac9161