Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merge main-v0.13.2 into main #623

Closed
wants to merge 5 commits into from
Closed

Merge main-v0.13.2 into main #623

wants to merge 5 commits into from

Commits on Aug 26, 2024

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

    @amosStarkware
    amosStarkware authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    ddc8f51 View commit details
    Browse the repository at this point in the history

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

    @amosStarkware
    amosStarkware authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    29f90d3 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

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

    Signed-off-by: Dori Medini <dori@starkware.co>
    @dorimedini-starkware
    dorimedini-starkware authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    87d874f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/main-v0.13.2' into dori/merge-ma… 

    …in-v0.13.2-into-main-1724761609
    @dorimedini-starkware
    dorimedini-starkware committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    3a7caee View commit details
    Browse the repository at this point in the history

  3. No conflicts in main-v0.13.2 -> main merge, this commit is for any ch… 

    …ange needed to pass the CI.
    @dorimedini-starkware
    dorimedini-starkware committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    79f81fd View commit details
    Browse the repository at this point in the history