Pin lean-toolchain to leanprover/lean4:v4.29.0#11

astefano wants to merge 1 commit into

verse-lab:masterverse-lab/loom2:masterfrom

astefano:fix/lean-toolchain-nightlyastefano/loom2:fix/lean-toolchain-nightlyCopy head branch name to clipboard