Skip to content

chore: fix minor spacing issues - #42918

Open
felixpernegger wants to merge 2 commits into
leanprover-community:masterfrom
felixpernegger:rodspacing
Open

chore: fix minor spacing issues#42918
felixpernegger wants to merge 2 commits into
leanprover-community:masterfrom
felixpernegger:rodspacing

chore: fix minor spacing issues

7378cd9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check_title
succeeded Aug 18, 2026 in 2m 23s