Merge main-v0.13.2 into main

[meship-starkware]

This change is 

[meship-starkware]

Src Dst .github/workflows/main.yml

[meship-starkware]

Reviewed 3 of 4 files at r2, 2 of 3 files at r3, 9 of 9 files at r7, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @meship-starkware)

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 71.00%. Comparing base (9260e52) to head (81f0f8c).
Report is 3 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #691      +/-   ##
==========================================
- Coverage   75.84%   71.00%   -4.84%     
==========================================
  Files         352       85     -267     
  Lines       37448    10964   -26484     
  Branches    37448    10964   -26484     
==========================================
- Hits        28401     7785   -20616     
+ Misses       6726     2791    -3935     
+ Partials     2321      388    -1933     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Yoni-Starkware]

Reviewed 1 of 9 files at r7, 1 of 4 files at r8.
Reviewable status: 12 of 15 files reviewed, 1 unresolved discussion (waiting on @meship-starkware)

---

.github/workflows/main.yml line 88 at r7 (raw file):

    steps:
      - uses: actions/checkout@v4
=======

@dorimedini-starkware can you PTAL?

Code quote:

      - run: scripts/clippy.sh

  doc:
    runs-on: starkware-ubuntu-latest-small
    env:
      RUSTDOCFLAGS: "-D warnings"
    steps:
      - uses: actions/checkout@v4
||||||| e9fef0f80
      - run: scripts/clippy.sh

  doc:
    runs-on: starkware-ubuntu-latest-small
    # env:
    #   RUSTDOCFLAGS: "-D warnings"
    steps:
      - uses: actions/checkout@v4
=======

[dorimedini-starkware]

Reviewed 3 of 4 files at r8, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @meship-starkware)

[dorimedini-starkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @meship-starkware)

[Yoni-Starkware]

Reviewed 1 of 4 files at r2, 3 of 4 files at r8, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @meship-starkware)

[dorimedini-starkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @meship-starkware)

[dorimedini-starkware]

Reviewed 1 of 1 files at r9, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @meship-starkware)