v4.29.0-rc3
Pre-release
Pre-release
·
3880 commits
to master
since this release
chore: bump toolchain to v4.29.0-rc3 (#35942) Co-authored-by: mathlib4-bot <github-mathlib4-bot@leanprover.zulipchat.com> Co-authored-by: mathlib-nightly-testing[bot] <mathlib-nightly-testing[bot]@users.noreply.github.com> Co-authored-by: mathlib-nightly-testing[bot] <258991302+mathlib-nightly-testing[bot]@users.noreply.github.com>