Skip to content

Apply various Clippy recommendations - #603

Merged
frankmcsherry merged 1 commit into
TimelyDataflow:masterfrom
frankmcsherry:clippy_fixups
Nov 24, 2024
Merged

Apply various Clippy recommendations#603
frankmcsherry merged 1 commit into
TimelyDataflow:masterfrom
frankmcsherry:clippy_fixups

Conversation

@frankmcsherry

Copy link
Copy Markdown
Member

Lots of clippy recommendations that seemed good, and none of the ones that seem bad.

@frankmcsherry
frankmcsherry merged commit 1bc6ae8 into TimelyDataflow:master Nov 24, 2024
@github-actions github-actions Bot mentioned this pull request Nov 24, 2024
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.

1 participant