IF: Merge main into hotstuff_integration branch (04/09/2024)#2389

Closed

linh2931 wants to merge 5 commits intohotstuff_integrationfrom merge-main-04-09-24

-1

Commits on Apr 4, 2024

Remove sync() call to improve performance
heifner
committed

Commits on Apr 5, 2024

Commits on Apr 9, 2024

Merge remote-tracking branch 'origin/main' into merge-main-04-09-24
linh2931
committed