Skip to content

v4.22.0

Latest
Latest
Compare
Choose a tag to compare
@Peiyang-Song Peiyang-Song released this 14 Aug 08:52
· 3 commits to main since this release
v4.22.0
2244f0a
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

  • Bump to latest stable version Lean v4.23.0-rc1 (~ v4.22.0) by @Peiyang-Song in #181

Note: this tag actually uses Lean v4.23.0-rc1, which is published almost at the same time as Lean v4.22.0, and thus our dependencies all got bumped to v4.23.0-rc1 directly and skipped v4.22.0.

Full Changelog: v4.21.0...v4.22.0

Contributors

Peiyang-Song
Assets 5
Loading