Merge main-v0.13.2 into main

[dorimedini-starkware]

This change is 

[dorimedini-starkware]

Reviewed 2 of 2 files at r1, 1 of 1 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alon-dotan-starkware)

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 39.85%. Comparing base (b0cfe82) to head (8cf44c0).
Report is 190 commits behind head on main.

❗ There is a different number of reports uploaded between BASE (b0cfe82) and HEAD (8cf44c0). Click for more details.

HEAD has 2 uploads less than BASE

Flag	BASE (b0cfe82)	HEAD (8cf44c0)
	3	1

Additional details and impacted files

@@             Coverage Diff             @@
##             main    #1136       +/-   ##
===========================================
- Coverage   74.18%   39.85%   -34.34%     
===========================================
  Files         359       34      -325     
  Lines       36240     1907    -34333     
  Branches    36240     1907    -34333     
===========================================
- Hits        26886      760    -26126     
+ Misses       7220     1112     -6108     
+ Partials     2134       35     -2099     

Flag	Coverage Δ
	39.85% <100.00%> (-34.34%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

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