GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-05 15:53:38 +00:00
parent 36020224ca
commit 5087735621