Skip to content

rounding infinites#273

Merged
aecorn merged 2 commits intomainfrom
rounding-up-infinites
Feb 26, 2026
Merged

rounding infinites#273
aecorn merged 2 commits intomainfrom
rounding-up-infinites

Conversation

@aecorn
Copy link
Collaborator

@aecorn aecorn commented Feb 25, 2026

@aecorn aecorn self-assigned this Feb 25, 2026
@aecorn aecorn added the bug Something isn't working label Feb 25, 2026
@sonarqubecloud
Copy link

@aecorn aecorn marked this pull request as ready for review February 25, 2026 13:46
@aecorn aecorn requested a review from Bjoern-Rapp February 26, 2026 07:16
@aecorn aecorn merged commit 824cedd into main Feb 26, 2026
20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants