Repository navigation

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

wrap long lines in `Main declarations:` in project card#711
Vilin97 merged 1 commit into
LeanPool:mainfrom
loefflerd:CI-wrap-main-decls

Commits on Oct 23, 2026
- wrap long lines in `Main declarations: ` in project card
  loefflerd
  committed
  7940b42