PR #6129 Fix some clippy issues, ignore others

Fix some clippy issues, ignore others #6129

wbinnssmith merged 1 commit into main from wbinnssmith/clippy-2023-10-06

Fix some clippy issues, suppress others

4d905bd0

wbinnssmith requested a review 2 years ago

turbo-orchestrator added created-by: web-tooling

turbo-orchestrator added owned-by: web-tooling

wbinnssmith changed the title ~~Fix some clippy issues, suppress others~~ Fix some clippy issues, ignore others 2 years ago

wbinnssmith requested a review from

kwonoj 2 years ago

wbinnssmith requested a review from

jridgewell 2 years ago

jridgewell approved these changes on 2023-10-07

wbinnssmith merged 444b012c into main 2 years ago

wbinnssmith deleted the wbinnssmith/clippy-2023-10-06 branch 2 years ago

Reviewers

jridgewell

kwonoj

Assignees

No one assigned

Labels

None yet

Milestone

No milestone