GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-04 07:56:33 +00:00
parent ce2744f5b7
commit c2b4fbad50