Merge pull request #2041 from starkware-libs/dori/merge-main-v0.13.2-…

…into-main Dori/Merge main-v0.13.2 into main
starkware-libs · Jul 4, 2024 · f2246ce · f2246ce
2 parents 539e71d + d8264f3
commit f2246ce
Show file tree

Hide file tree

Showing 14 changed files with 7,468 additions and 3,805 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -47,7 +47,7 @@ jobs:
       - uses: dtolnay/rust-toolchain@master
         with:
           components: rustfmt
-          toolchain: nightly-2024-01-12
+          toolchain: nightly-2024-04-29
       - uses: Swatinem/rust-cache@v2
         with:
           prefix-key: "v0-rust-ubuntu-20.04"

diff --git a/.github/workflows/compiled_cairo.yml b/.github/workflows/compiled_cairo.yml
@@ -20,10 +20,7 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@master
-        with:
-          components: rustfmt
-          toolchain: nightly-2024-01-12
+      - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
         with:
           prefix-key: "v0-rust-ubuntu-20.04"