Code

Merge main-v0.13.2 into main#623

Code

Closed

dorimedini-starkware wants to merge 5 commits intomainstarkware-libs/sequencer:mainfrom dori/merge-main-v0.13.2-into-main-1724761609starkware-libs/sequencer:dori/merge-main-v0.13.2-into-main-1724761609Copy head branch name to clipboard

+67-88

Commits

Commits on Aug 26, 2024

• chore(native_blockifier): convert general config to os config (#561)

  amosStarkware

  authored
  ddc8f51

  Copy full SHA for ddc8f51

• chore(blockifier, native_blockifier): updated versioned constants (#559)

  amosStarkware

  authored
  29f90d3

  Copy full SHA for 29f90d3

Commits on Aug 27, 2024

• chore(ci): verify GH client is installed in merge_branches.py (#616)

  Show description for 87d874f
  dorimedini-starkware

  authored
  87d874f

  Copy full SHA for 87d874f

• Merge remote-tracking branch 'origin/main-v0.13.2' into dori/merge-main-v0.13.2-into-main-1724761609

  dorimedini-starkware

  committed
  3a7caee

  Copy full SHA for 3a7caee

• No conflicts in main-v0.13.2 -> main merge, this commit is for any change needed to pass the CI.

  dorimedini-starkware

  committed
  79f81fd

  Copy full SHA for 79f81fd