Closed Seasawher closed 1 month ago
it seems to work nicely
PS C:\Users\11325\lean-update> . 'C:\Users\11325\lean-update\scripts\getLatest.ps1'
4.9.1 4.10.0-rc2 4.10.0-rc1 4.9.0 4.9.0-rc3 4.9.0-rc2 4.9.0-rc1 4.8.0 4.8.0-rc2 4.8.0-rc1 4.7.0 4.7.0-rc2 4.7.0-rc1 4.6.1 4.6.0 4.6.0-rc1 4.5.0 4.5.0-rc1 4.4.0 4.4.0-rc1 4.3.0 4.3.0-rc2 4.3.0-rc1 4.2.0 4.2.0-rc4
Latest Lean release is: 4.10.0-rc2
tested at mk-exercise: https://github.com/Seasawher/mk-exercise/actions/runs/10670347125
Use PowerShell script to get latest (pre)release.
This implementation is now very simple.