Skip to content

Pin the Rust toolchain and fix new clippy 1.97 lints#613

Open
NicolasBuchin wants to merge 1 commit into
mainfrom
pin-rust-toolchain
Open

Pin the Rust toolchain and fix new clippy 1.97 lints#613
NicolasBuchin wants to merge 1 commit into
mainfrom
pin-rust-toolchain

Commits

Commits on Jul 18, 2026