Skip to content

Count only the exact .lean suffix as Lean source - #232

Merged
Deicyde merged 2 commits into
mainfrom
fix/exact-lean-suffix
Oct 13, 2026
Merged

Count only the exact .lean suffix as Lean source#232
Deicyde merged 2 commits into
mainfrom
fix/exact-lean-suffix

Compare the .lean suffix inline and drop the README sentence

060d3cc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar