Skip to content

Add the lean-flitz plugin - #30

Merged
michal12334 merged 1 commit into
mainfrom
add-lean-flitz
Oct 15, 2026
Merged

Add the lean-flitz plugin#30
michal12334 merged 1 commit into
mainfrom
add-lean-flitz

Add the lean-flitz plugin

ea64ea1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar