Skip to content

feat: add dead code annotations for floating point constants in RawFl…#187

Merged
liuq19 merged 1 commit into
mainfrom
fix/clippy
Jul 31, 2025
Merged

feat: add dead code annotations for floating point constants in RawFl…#187
liuq19 merged 1 commit into
mainfrom
fix/clippy

Conversation

@liuq19
Copy link
Copy Markdown
Collaborator

@liuq19 liuq19 commented Jul 31, 2025

…oat trait

What type of PR is this?

Check the PR title.

  • This PR title match the format: <type>(optional scope): <description>
  • The description of this PR title is user-oriented and clear enough for others to understand.
  • Attach the PR updating the user documentation if the current PR requires user awareness at the usage level. User docs repo

(Optional) Translate the PR title into Chinese.

(Optional) More detailed description for this PR(en: English/zh: Chinese).

en:
zh(optional):

(Optional) Which issue(s) this PR fixes:

(optional) The PR that updates user documentation:

@liuq19 liuq19 merged commit ab1e899 into main Jul 31, 2025
16 checks passed
@liuq19 liuq19 deleted the fix/clippy branch July 31, 2025 06:43
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.

1 participant