Skip to content

Conversation

@ettore
Copy link
Collaborator

@ettore ettore commented Nov 29, 2024

This also continues to cover Floats.

@ettore
Copy link
Collaborator Author

ettore commented Nov 29, 2024

@milliesavalia the reason why I did not add you as a reviewer is because you are not part of the members for this repo. We use it as a collection of generic utilities. I just invited you, so you should have an invite in your inbox.

@ettore ettore force-pushed the chore/double-epsilon-comparison branch from 2677756 to 46aaa61 Compare November 30, 2024 19:13
@ettore ettore force-pushed the chore/double-epsilon-comparison branch from 46aaa61 to 14d3351 Compare November 30, 2024 19:18
@ettore ettore merged commit b84006f into main Dec 2, 2024
1 check passed
@ettore ettore deleted the chore/double-epsilon-comparison branch December 2, 2024 17:19
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