chore: bump toolchain to v4.32.0-rc1#88

Garmelon merged 1 commit into

mainleanprover/lean4-cli:mainfrom

bump-to-v4.32.0-rc1leanprover/lean4-cli:bump-to-v4.32.0-rc1Copy head branch name to clipboard