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

Update deps for remainder operator #211

Merged
merged 4 commits into from
Oct 10, 2023
Merged

Conversation

youben11
Copy link
Member

@youben11 youben11 commented Oct 5, 2023

workerB

Description

Closes: #XXX


All items are required. Please add a note to the item if the item is not applicable and
please add links to any relevant follow up issues.

PR review checkboxes:

I have...

  • added a relevant changelog entry to the Unreleased section in CHANGELOG.md
  • included the correct type prefix in the PR title
  • targeted the correct branch (see PR Targeting)
  • provided a link in the PR description to the relevant issue or specification
  • reviewed "Files changed" and left comments if necessary
  • confirmed all required CI checks have passed

Code maintenance:

I have...

  • written unit and integration tests
  • added relevant godoc and code comments.
  • updated relevant documentation (docs/) or specification (x/<module>/spec/)

Reviewers Checklist

All items are required. Please add a note if the item is not applicable and please add your handle next to the items reviewed if you only reviewed selected items.

I have...

  • confirmed the correct type prefix in the PR title
  • confirmed all author checklist items have been addressed
  • confirmed that this PR does not change production code

@youben11 youben11 force-pushed the remainder-integration branch from caa35b3 to 2862692 Compare October 10, 2023 11:03
@youben11 youben11 changed the title Test remainder operator Update deps for remainder operator Oct 10, 2023
@youben11 youben11 merged commit 9ff9296 into v9.1.0-zama Oct 10, 2023
10 of 12 checks passed
@youben11 youben11 deleted the remainder-integration branch October 10, 2023 13:28
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