Skip to content

Run Clippy#135

Merged
mgeisler merged 1 commit into
masterfrom
clippy
Sep 9, 2023
Merged

Run Clippy#135
mgeisler merged 1 commit into
masterfrom
clippy

Conversation

@mgeisler
Copy link
Copy Markdown
Owner

@mgeisler mgeisler commented Sep 9, 2023

I also inlined format arguments.

I also inlined format arguments.
@mgeisler mgeisler enabled auto-merge September 9, 2023 16:52
@mgeisler mgeisler merged commit 3a93868 into master Sep 9, 2023
@mgeisler mgeisler deleted the clippy branch September 9, 2023 16:54
mgeisler added a commit that referenced this pull request Sep 9, 2023
mgeisler added a commit that referenced this pull request Sep 9, 2023
@github-actions github-actions Bot mentioned this pull request Sep 9, 2023
mgeisler added a commit that referenced this pull request Sep 11, 2023
Due to rust-lang/rust-clippy#11470, some
format strings were not inlined in #135. Running Clippy with a stable
compiler fixes the problem.
@mgeisler mgeisler mentioned this pull request Sep 11, 2023
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