chore: bump toolchain to v4.31.0#87

Garmelon merged 1 commit into

mainleanprover/lean4-cli:mainfrom

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