GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-07 08:49:36 +00:00
parent 09655eeb51
commit ed8905c272