feat: check for self-updates during toolchain downloads

leanprover / elan

The Lean version manager

Apache License 2.0

292 stars 34 forks source link

Closed Kha closed 6 months ago

Kha commented 7 months ago

$ elan toolchain install stable
info: Version 3.0.0 of elan is available! Use `elan self update` to update.
...