Skip to content

pin the toolchain version used by clippy - #846

Closed
danieleades wants to merge 2 commits into
rust-itertools:masterfrom
danieleades:pin-clippy
Closed

danieleades wants to merge 2 commits into
rust-itertools:masterfrom
danieleades:pin-clippy

Commits

Commits on Jan 13, 2024