Roll pinned Rust toolchain automatically#1099

joshlf wants to merge 1 commit into

AeneasVerif:mainAeneasVerif/charon:mainfrom

joshlf:roll-rustcjoshlf/charon:roll-rustcCopy head branch name to clipboard