bot fix style (comment)

[Merged by Bors] - chore: add shortcut instances after LinearOrder Nat #13500

Sign in to view logs

Triggered via issue November 21, 2024 23:34

Ruben-VandeVelde

commented on #19346 b513113

Status Skipped

Total duration 2s

Artifacts –

bot_fix_style_comment.yaml

on: issue_comment

Fix style issues from lint