feat: lake: separate `leanir` job - #14906

tydeu wants to merge 3 commits into

feat: lake: separate `leanir` job #14906
tydeu wants to merge 3 commits into
leanprover:masterfrom
tydeu:lake/ir-arts

feat: lake: seperate `leanir` job