Skip to content

chore: use import graph 171 for header linter suggestions - #44509

Draft
thorimur wants to merge 3 commits into
leanprover-community:masterfrom
thorimur:format-imports-header-with-171
Draft

chore: use import graph 171 for header linter suggestions#44509
thorimur wants to merge 3 commits into
leanprover-community:masterfrom
thorimur:format-imports-header-with-171

chore: use import-graph 171

f8c3834
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
label-and-report-new-contributor
succeeded Oct 5, 2026 in 6s