Skip to content

[Merged by Bors] - chore: another batch of variable removals #5714

[Merged by Bors] - chore: another batch of variable removals

[Merged by Bors] - chore: another batch of variable removals #5714

Triggered via issue October 9, 2024 12:21
Status Skipped
Total duration 3s
Artifacts

bot_fix_style_comment.yaml

on: issue_comment
Fix style issues from lint
0s
Fix style issues from lint
Fit to window
Zoom out
Zoom in