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

Added unwraps as const fns. #6983

Merged
merged 1 commit into from
Jan 6, 2025
Merged

Added unwraps as const fns. #6983

merged 1 commit into from
Jan 6, 2025

Conversation

orizi
Copy link
Collaborator

@orizi orizi commented Jan 4, 2025

@reviewable-StarkWare
Copy link

This change is Reviewable

@orizi orizi force-pushed the spr/main/4682d984 branch from 577b5d8 to d72ca5a Compare January 5, 2025 16:09
@orizi orizi force-pushed the spr/main/7148ebf6 branch from 907bbe6 to 0a85e5c Compare January 5, 2025 16:09
@orizi orizi force-pushed the spr/main/4682d984 branch from d72ca5a to f9d1d45 Compare January 5, 2025 16:30
@orizi orizi force-pushed the spr/main/7148ebf6 branch from 0a85e5c to 0e4f43f Compare January 5, 2025 16:30
@orizi orizi force-pushed the spr/main/4682d984 branch from f9d1d45 to cf077b8 Compare January 5, 2025 16:52
@orizi orizi force-pushed the spr/main/7148ebf6 branch from 0e4f43f to 8497b09 Compare January 5, 2025 16:52
commit-id:7148ebf6
@orizi orizi changed the base branch from spr/main/4682d984 to main January 5, 2025 19:14
@orizi orizi force-pushed the spr/main/7148ebf6 branch from 8497b09 to 055d3ef Compare January 5, 2025 19:14
Copy link
Collaborator

@TomerStarkware TomerStarkware 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 2 of 4 files at r1, 3 of 3 files at r2, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @gilbens-starkware)

@orizi orizi added this pull request to the merge queue Jan 6, 2025
Merged via the queue into main with commit b9f8c0e Jan 6, 2025
48 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.

3 participants