Skip to content

v0.13.0

Latest
Latest

Choose a tag to compare

View all tags
@Seasawher Seasawher released this 05 Aug 13:51
· 37 commits to main since this release
v0.13.0
f1040b4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

Fixed

  • Fixed lake update using the action’s Lean/Lake toolchain instead of the target project’s toolchain. lean-update now invokes Lake through the Elan proxy, ensuring the target project’s lean-toolchain is respected. Fixes #257.

Others

  • Updated the Lean toolchain of this repository from v4.32.0-rc1 to v4.33.0-rc2.

Full Changelog: v0.12.0...v0.13.0

Assets 2
Loading