Skip to content

[Merged by Bors] - chore: format imports - #44513

Closed
thorimur wants to merge 3 commits into
leanprover-community:masterfrom
thorimur:format-imports
Closed

thorimur wants to merge 3 commits into
leanprover-community:masterfrom
thorimur:format-imports

chore: do not format

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

Annotations

1 warning and 1 notice
post-or-update-summary-comment
succeeded Oct 9, 2026 in 1m 13s