Skip to content

fix: sync lean-toolchain for test projects that build against Verso - #967

Open
kim-em wants to merge 1 commit into
mainfrom
fix-subverso-toolchain-sync
Open

fix: sync lean-toolchain for test projects that build against Verso#967
kim-em wants to merge 1 commit into
mainfrom
fix-subverso-toolchain-sync

Commits

Commits on Aug 21, 2026