chore: Harden RVM implementation#537

anakrish wants to merge 2 commits intomicrosoft:mainmicrosoft/regorus:mainfrom

anakrish:clippy-pass-6anakrish/regorus:clippy-pass-6Copy head branch name to clipboard