Skip to content

chore: resolve lint error#1017

Merged
ctron merged 1 commit intotrunk-rs:mainfrom
tottoto:lint-error
Sep 10, 2025
Merged

chore: resolve lint error#1017
ctron merged 1 commit intotrunk-rs:mainfrom
tottoto:lint-error

Conversation

@tottoto
Copy link
Contributor

@tottoto tottoto commented Sep 10, 2025

Resolves lint errors.

@ctron ctron enabled auto-merge September 10, 2025 09:27
@ctron ctron added this pull request to the merge queue Sep 10, 2025
Merged via the queue into trunk-rs:main with commit e0016e5 Sep 10, 2025
60 checks passed
@tottoto tottoto deleted the lint-error branch September 10, 2025 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants