8000 Remove function that is not in use by shaharsamocha7 · Pull Request #1022 · starkware-libs/stwo-cairo · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Remove function that is not in use #1022

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

Merged
merged 1 commit into from
Jun 22, 2025

Conversation

shaharsamocha7
Copy link
Collaborator
@shaharsamocha7 shaharsamocha7 commented Jun 22, 2025

This change is Reviewable

Copy link
Collaborator Author
shaharsamocha7 commented Jun 22, 2025

This stack of pull requests is managed by Graphite. Learn more about stacking.

@shaharsamocha7 shaharsamocha7 requested a review from alon-f June 22, 2025 09:25
@shaharsamocha7 shaharsamocha7 marked this pull request as ready for review June 22, 2025 11:59
Copy link
Contributor
@alon-f alon-f left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)

Copy link
Collaborator Author
shaharsamocha7 commented Jun 22, 2025

Merge activity

  • Jun 22, 12:39 PM UTC: A user started a stack merge that includes this pull request via Graphite.
  • Jun 22, 12:40 PM UTC: Graphite rebased this pull request as part of a merge.
  • Jun 22, 12:56 PM UTC: @shaharsamocha7 merged this pull request with Graphite.

@shaharsamocha7 shaharsamocha7 changed the base branch from Fix_coset_documentatiom to graphite-base/1022 June 22, 2025 12:39
@shaharsamocha7 shaharsamocha7 changed the base branch from graphite-base/1022 to main June 22, 2025 12:39
@shaharsamocha7 shaharsamocha7 force-pushed the Remove_circle_point_conjugate branch from f2d5d1f to 1b4357a Compare June 22, 2025 12:40
@shaharsamocha7 shaharsamocha7 merged commit 2b62e68 into main Jun 22, 2025
8 checks passed
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.

2 participants
0