Skip to content

ci: pin the toolchain so a rust release cannot redden a green main - #467

Merged
LeadcodeDev merged 2 commits into
mainfrom
fix/ci-pin-toolchain
Oct 1, 2026
Merged

LeadcodeDev merged 2 commits into
mainfrom
fix/ci-pin-toolchain

Commits

Commits on Oct 1, 2026