Skip to content

Enable more lints#79

Merged
ctz merged 7 commits intomainfrom
jbp-lints-and-fixes
Jun 6, 2025
Merged

Enable more lints#79
ctz merged 7 commits intomainfrom
jbp-lints-and-fixes

Conversation

@ctz
Copy link
Copy Markdown
Member

@ctz ctz commented Jun 6, 2025

The first two commits are non-trivial changes made as a result of trivial_numeric_casts.

@ctz ctz force-pushed the jbp-lints-and-fixes branch from 5a9b203 to 7495a04 Compare June 6, 2025 12:23
Comment thread src/entry.rs
Comment thread src/entry.rs
@ctz ctz force-pushed the jbp-lints-and-fixes branch from 7495a04 to 8f0a7f7 Compare June 6, 2025 12:52
Copy link
Copy Markdown
Member

@cpu cpu left a comment

Choose a reason for hiding this comment

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

Nice 👍

@ctz ctz force-pushed the jbp-lints-and-fixes branch from 8f0a7f7 to 7ce1ea3 Compare June 6, 2025 13:42
@ctz ctz merged commit 390da5e into main Jun 6, 2025
16 checks passed
@ctz ctz deleted the jbp-lints-and-fixes branch June 6, 2025 13:46
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.

3 participants