[loefflerd]

At present, CI enforces that the Main declarations: line in the project card matches the autogenerated one from the YAML file, but it also enforces that the line can't be over 100 chars long. This change adjusts the CI scripts to wrap the line.

(Implemented by ChatGPT 6.1 Sol Medium using Codex)

[github-actions]

Proof profile (new / modified Lean files)

No added or modified Lean files under LeanPool/ in this PR. No compile-cost measurements are needed.

Advisory only — never blocks merge.

[greptile-apps]

Advisory cross-file review against Lean Pool's supervisory rubric. This is not by itself a significance, source-verification, or merge verdict.

[Low impact] The PR appears safe to merge; no actionable issues were found.

Summary

Wraps generated Main declarations: text at 100 characters, with indented continuation lines and whole identifiers.

• Long project declaration lists now wrap in generated cards.

_{Reviews (1) · Last reviewed commit: "wrap long lines in `Main declarations: `..." · Reviewed by Greptile}