Skip to content

Conversation

@nitsan-starkware
Copy link
Contributor

@nitsan-starkware nitsan-starkware commented Dec 22, 2025

Type

  • feature
  • bugfix
  • dev (no functional changes, no API changes)
  • fmt (formatting, renaming)
  • build
  • docs
  • testing

Description

Breaking changes?

  • yes
  • no

This change is Reviewable

Copy link
Contributor Author

nitsan-starkware commented Dec 22, 2025

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

Copy link
Contributor

@YairVaknin-starkware YairVaknin-starkware left a comment

Choose a reason for hiding this comment

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

can you pls send a link to the failure this solves?

@YairVaknin-starkware made 1 comment.
Reviewable status: 0 of 1 files reviewed, all discussions resolved (waiting on @phil-starkware).

Copy link
Contributor Author

@nitsan-starkware nitsan-starkware left a comment

Choose a reason for hiding this comment

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

https://github.com/starkware-libs/proving-utils/runs/58684384855

@nitsan-starkware made 1 comment.
Reviewable status: 0 of 1 files reviewed, all discussions resolved (waiting on @phil-starkware).

Copy link
Collaborator

@yuvalsw yuvalsw left a comment

Choose a reason for hiding this comment

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

:lgtm:

@yuvalsw reviewed 1 file and all commit messages, and made 1 comment.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @phil-starkware).

@yuvalsw yuvalsw merged commit 1815697 into main Dec 23, 2025
7 of 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.

4 participants