Skip to content

[pob1-port] Fix rounding of scaled mods being incorrect in some cases#1595

Closed
github-actions[bot] wants to merge 1 commit intodevfrom
pob1-pr-8862
Closed

[pob1-port] Fix rounding of scaled mods being incorrect in some cases#1595
github-actions[bot] wants to merge 1 commit intodevfrom
pob1-pr-8862

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot added bug: calculation Numerical differences pob2 labels Dec 15, 2025
@LocalIdentity LocalIdentity deleted the pob1-pr-8862 branch December 15, 2025 16:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug: calculation Numerical differences pob2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants