ci: install landrun from master, drop comparator patch - #16

Merged

kim-em merged 3 commits into

mainfrom

test-landrun-master

Apr 21, 2026

Commits on Apr 17, 2026

ci: install landrun from master, drop comparator patch

kim-em
and
claude
committed
fa95362
ci: use @main not @master for landrun (default branch)

kim-em
and
claude
committed
082c69f

Commits on Apr 18, 2026

ci: pin lean4export and comparator to rc1-compatible versions

kim-em
and
claude
committed
bb5ed2d