Skip to content

chore: fix a lint issue#326

Merged
ashishb merged 1 commit intomasterfrom
ashishb/tmp1
Jan 18, 2026
Merged

chore: fix a lint issue#326
ashishb merged 1 commit intomasterfrom
ashishb/tmp1

Conversation

@ashishb
Copy link
Owner

@ashishb ashishb commented Jan 18, 2026

@dosubot dosubot bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Jan 18, 2026
@ashishb ashishb merged commit a62027a into master Jan 18, 2026
12 checks passed
@ashishb ashishb deleted the ashishb/tmp1 branch January 18, 2026 07:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant