bot fix style

[Merged by Bors] - chore: card -> length for `List.length` in names #274055

Sign in to view logs

Triggered via issue August 27, 2026 06:58

grunweg

commented on #43155 d9f6d18

Status Success

Total duration 11s

Artifacts –

bot_fix_style.yaml

on: issue_comment

Fix style issues from lint