[ruff] Ignore std cmath.inf (RUF069)#23120
Conversation
|
@ntBre It seems that this was forgotten, since the rule description mentions |
|
|
I think the edit button goes away once a PR is merged. At least I see the same thing on some of my old PRs outside of Ruff. We haven't changed any settings as far as I know! I can still see the button here as a maintainer. Did you want me to update the title? |
This was before the merger, I wanted to change it, since the change also affected |
I don't really care, but just for future reference, if I open a PR with the title: |
|
Oh, that is strange. Hopefully it's a temporary GitHub bug and not a new change! |


Summary
See: #20585
Test Plan
cargo nextest run ruf069