GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-16 19:13:17 +00:00
parent 6244933313
commit 04bd557c1b