bot fix style

[Merged by Bors] - chore: golf using positivity #195918

Sign in to view logs

Triggered via issue April 3, 2026 07:50

grunweg

commented on #37554 6ef8cc2

Status Success

Total duration 8s

Artifacts –

bot_fix_style.yaml

on: issue_comment

Fix style issues from lint