chore: bump toolchain to v4.32.0#90

Garmelon merged 1 commit into

mainleanprover/lean4-cli:mainfrom

bump-to-v4.32.0leanprover/lean4-cli:bump-to-v4.32.0Copy head branch name to clipboard