Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Al/rework difference check #1871

Merged
merged 1 commit into from
Dec 16, 2024
Merged

Al/rework difference check #1871

merged 1 commit into from
Dec 16, 2024

Conversation

agnesLeroy
Copy link
Contributor

closes: please link all relevant issues

PR content/description

Check-list:

  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • Relevant issues are marked as resolved/closed, related issues are linked in the description
  • Check for breaking changes (including serialization changes) and add them to commit message following the conventional commit specification

@cla-bot cla-bot bot added the cla-signed label Dec 13, 2024
@agnesLeroy agnesLeroy marked this pull request as ready for review December 13, 2024 16:06
@agnesLeroy
Copy link
Contributor Author

Even though you're going to rework comparisons @guillermo-oyarzun we gain 3 ms with this (going from 29 ms to 26 ms on greater than) so since it's a very little change maybe we could merge it.

@agnesLeroy agnesLeroy force-pushed the al/rework_difference_check branch from 6bb0bf7 to efdefa9 Compare December 13, 2024 16:08
@agnesLeroy agnesLeroy force-pushed the al/rework_difference_check branch from efdefa9 to 50c8f5f Compare December 13, 2024 16:34
@agnesLeroy agnesLeroy force-pushed the al/rework_difference_check branch from 50c8f5f to ffff833 Compare December 13, 2024 16:40
@zama-bot zama-bot removed the approved label Dec 13, 2024
@agnesLeroy agnesLeroy force-pushed the al/rework_difference_check branch from ffff833 to 3ebd208 Compare December 13, 2024 17:16
@zama-bot zama-bot removed the approved label Dec 13, 2024
@agnesLeroy agnesLeroy merged commit 86f0704 into main Dec 16, 2024
100 of 105 checks passed
@agnesLeroy agnesLeroy deleted the al/rework_difference_check branch December 16, 2024 08:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants