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.

Sign up for GitHub

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

Jump to bottom

[Main] Remove group module #499

Merged
merged 4 commits into from
Nov 29, 2024
Merged

[Main] Remove group module #499

merged 4 commits into from
Nov 29, 2024

Conversation

colmazia
Copy link
Contributor

Implementation details

  • remove group module
  • update oracle proof

Please ensure the following requirements are met before submitting a pull request:

  • The pull request is targeted against the correct target branch
  • The pull request is linked to an issue with appropriate discussion and an accepted design OR is linked to a spec that describes the work.
  • The pull request includes a description of the implementation/work done in detail.
  • The pull request includes any and all appropriate unit/integration tests
  • You have added a relevant changelog entry to CHANGELOG_UNRELEASED.md
  • You have re-reviewed the files affected by the pull request (e.g. using the Files changed tab in the Github PR explorer)

@colmazia colmazia merged commit cedf13d into upgrade-v3 Nov 29, 2024
2 checks passed
@colmazia colmazia deleted the remove-group-module branch November 29, 2024 07:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nkitlabs nkitlabs nkitlabs approved these changes

@RogerKSI RogerKSI RogerKSI approved these changes

@taobun taobun Awaiting requested review from taobun

@satawatnack satawatnack Awaiting requested review from satawatnack

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@colmazia @RogerKSI @nkitlabs