updated toolchain

[ohad-starkware]

This change is 

[ohad-starkware]

• batched logup in opcodes #266
• updated names #265
• updated toolchain #264 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[shaharsamocha7]

Reviewed 10 of 12 files at r1, 2 of 2 files at r2, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @ilyalesokhin-starkware and @ohad-starkware)

---

stwo_cairo_prover/scripts/rust_fmt.sh line 3 at r2 (raw file):

#!/bin/bash

cargo fmt --all -- "$@"

same

Code quote:

cargo fmt --all -- "$@"

---

stwo_cairo_prover/scripts/clippy.sh line 4 at r2 (raw file):

cargo clippy "$@" --all-targets --all-features -- -D warnings \
    -D future-incompatible -D nonstandard-style -D rust-2018-idioms -D unused

Write the version explicitly

Suggestion:

cargo +nightly-2024-12-16 clippy "$@" --all-targets --all-features -- -D warnings \
    -D future-incompatible -D nonstandard-style -D rust-2018-idioms -D unused

[ohad-starkware]

Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @ilyalesokhin-starkware and @shaharsamocha7)

---

stwo_cairo_prover/scripts/clippy.sh line 4 at r2 (raw file):

Previously, shaharsamocha7 wrote…

Write the version explicitly

it's derived from the version stated in rust-toolchain
I think it is more stable to not re mention it here again

[shaharsamocha7]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)