GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-16 21:15:48 +00:00
parent 5b7bafb775
commit fb1f2761d7