chore: bump toolchain to v4.29.0-rc2#789

kim-em wants to merge 2 commits intomainleanprover/reference-manual:mainfrom

bump_to_v4.29.0-rc2leanprover/reference-manual:bump_to_v4.29.0-rc2Copy head branch name to clipboard