GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-16 13:53:12 +00:00
parent b65bcc9cbe
commit 0fef52421b