Skip to content

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

Merged
austinletson merged 2 commits into
leanprover:mainfrom
chris-dare-dev:fix/elan-init-no-modify-path
Oct 12, 2026
Merged

fix: do not let elan-init modify the runner's persistent PATH#189
austinletson merged 2 commits into
leanprover:mainfrom
chris-dare-dev:fix/elan-init-no-modify-path

Commits

  1. Commits on Sep 19, 2026

  2. Commits on Oct 12, 2026