fix: do not let elan-init modify the runner's persistent PATH - #189

fix: do not let elan-init modify the runner's persistent PATH#189

austinletson merged 2 commits into

leanprover:mainleanprover/lean-action:mainfrom

chris-dare-dev:fix/elan-init-no-modify-pathchris-dare-dev/lean-action:fix/elan-init-no-modify-pathCopy head branch name to clipboard