Skip to content

feat(lean-ci,#19015): gate orphan .lean files (non-default lean_lib blind spot) - #19017

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/19015-target-coverage
Oct 4, 2026
Merged

feat(lean-ci,#19015): gate orphan .lean files (non-default lean_lib blind spot)#19017
myia-ai-01 merged 2 commits into
mainfrom
fix/19015-target-coverage

fix(lean-ci,#19015): orphan detector faithful to Lake native Glob.mat…

6cf986e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar