Skip to content

wrap long lines in Main declarations: in project card - #711

Merged
Vilin97 merged 1 commit into
LeanPool:mainfrom
loefflerd:CI-wrap-main-decls
Nov 4, 2026
Merged

Vilin97 merged 1 commit into
LeanPool:mainfrom
loefflerd:CI-wrap-main-decls

wrap long lines in `Main declarations: ` in project card

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

Annotations

2 warnings and 1 notice
Project metadata advisory
succeeded Oct 23, 2026 in 50s