lean version bump up w/ lean ci#32

Oscario0 wants to merge 2 commits intoverse-lab:masterverse-lab/loom:masterfrom

Oscario0:masterOscario0/loom:masterCopy head branch name to clipboard