Skip to content

Conversation

@dorimedini-starkware
Copy link
Collaborator

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

@github-actions
Copy link

github-actions bot commented Jul 1, 2025

Copy link
Collaborator Author

@dorimedini-starkware dorimedini-starkware left a comment

Choose a reason for hiding this comment

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

Reviewable status: 0 of 135 files reviewed, all discussions resolved


a discussion (no related file):

  1. upgraded to rust 1.88
  2. ran cargo clippy --workspace --all-targets --all-features --fix

what clippy did:

  1. changed format!("{}", x) -> format!("{x}")
  2. changed map.iter().map(|(_k, v)| ..) -> map.values().map(|v| ..)

@github-actions
Copy link

github-actions bot commented Jul 1, 2025

Benchmark movements: No major performance changes detected.

@dorimedini-starkware dorimedini-starkware changed the base branch from 06-27-ci_rust_1.87 to main July 3, 2025 12:38
@dorimedini-starkware dorimedini-starkware self-assigned this Jul 6, 2025
Copy link
Collaborator

@matanl-starkware matanl-starkware 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 135 of 135 files at r4, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dorimedini-starkware)

@dorimedini-starkware dorimedini-starkware added this pull request to the merge queue Jul 6, 2025
Merged via the queue into main with commit c42ee5f Jul 6, 2025
17 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Jul 8, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants