Skip to content

Correct some clippy nit#649

Merged
frankmcsherry merged 1 commit intoTimelyDataflow:masterfrom
frankmcsherry:correct_rust_090
Sep 23, 2025
Merged

Correct some clippy nit#649
frankmcsherry merged 1 commit intoTimelyDataflow:masterfrom
frankmcsherry:correct_rust_090

Conversation

@frankmcsherry
Copy link
Member

Some clippy complaint made CI red.

@frankmcsherry frankmcsherry merged commit a27bc5a into TimelyDataflow:master Sep 23, 2025
5 checks passed
@frankmcsherry frankmcsherry deleted the correct_rust_090 branch September 23, 2025 23:19
@github-actions github-actions bot mentioned this pull request Sep 23, 2025
@github-actions github-actions bot mentioned this pull request Nov 13, 2025
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