Skip to content

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

Merged
kim-em merged 3 commits into
mainfrom
test-landrun-master
Apr 21, 2026
Merged

ci: install landrun from master, drop comparator patch#16
kim-em merged 3 commits into
mainfrom
test-landrun-master

ci: pin lean4export and comparator to rc1-compatible versions

bb5ed2d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar