Option to update to latest stable release of lean + mathlib

oliver-butterley / lean-update

The action attempts to update Lean and Mathlib. If an update is available then the updated version is tested. This allows for automatic committing of the updated project, opening PRs or opening issues.

MIT License

6 stars 2 forks source link

Option to update to latest stable release of lean + mathlib #9

Closed oliver-butterley closed 5 months ago

oliver-butterley commented 6 months ago

If this option is selected, use the github api to find the latest release of lean marked as stable and write this to lean-toolchain? But this might not make sense because it might not match the available version of mathlib.

oliver-butterley commented 5 months ago

The concept of a stable releases of mathlib doesn't exist at the moment. Also the action takes a pragmatic approach by attempting and then checking if it works.