ci: update the Rust toolchain weekly - #39

ci: update the Rust toolchain weekly#39

samuelburnham merged 1 commit into

mainargumentcomputer/lean-ffi:mainfrom

ci/update-rustargumentcomputer/lean-ffi:ci/update-rustCopy head branch name to clipboard