Skip to content

refactor: add unused_trait_names clippy extra-pedantic lint#900

Merged
Benoît Cortier (CBenoit) merged 4 commits into
masterfrom
add-unused_trait_names-clippy-lint
Jul 31, 2025
Merged

refactor: add unused_trait_names clippy extra-pedantic lint#900
Benoît Cortier (CBenoit) merged 4 commits into
masterfrom
add-unused_trait_names-clippy-lint

Conversation

@RRRadicalEdward
Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Jul 30, 2025

Coverage Report 🤖 ⚙️

Past:
Total lines: 28665
Covered lines: 17562 (61.27%)

New:
Total lines: 28665
Covered lines: 17563 (61.27%)

Diff: +0.00%

[this comment will be updated automatically]

Copy link
Copy Markdown
Member

@CBenoit Benoît Cortier (CBenoit) left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like this one 👍

@CBenoit Benoît Cortier (CBenoit) merged commit 32b0e40 into master Jul 31, 2025
10 checks passed
@CBenoit Benoît Cortier (CBenoit) deleted the add-unused_trait_names-clippy-lint branch July 31, 2025 07:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants