Skip to content

fix(lint-style.py): make the code compile again - #43993

Open
grunweg wants to merge 1 commit into
leanprover-community:masterfrom
grunweg:fix-lint-style
Open

fix(lint-style.py): make the code compile again#43993
grunweg wants to merge 1 commit into
leanprover-community:masterfrom
grunweg:fix-lint-style

fix(lint-style.py): make the code compile again

118d534
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 Sep 20, 2026 in 6s