·
305 commits
to master
since this release
chore: bump toolchain to v4.31.0 (#40633) Upgrade the toolchain to v4.31.0 as part of the release process of Lean. Co-authored-by: Joscha <joscha@plugh.de>