ci(lean,#14337): migrate lean-social-choice Lake build to coursia-lean pool - #15303

ci(lean,#14337): migrate lean-social-choice Lake build to coursia-lean pool#15303

jsboige wants to merge 1 commit into

mainjsboige/CoursIA:mainfrom

feature/c1020-14337-lean-pooljsboige/CoursIA:feature/c1020-14337-lean-poolCopy head branch name to clipboard