ci: deploy lean4repo-utils@0.3 PR review+summary (from README example) - #273

Open

alexanderlhicks wants to merge 1 commit into

mainfrom

chore/deploy-lean4repo-utils-0.2

Commits on Jul 24, 2026

ci: deploy lean4repo-utils@0.3 review+summary (example baseline, optimized for this repo)

alexanderlhicks
and
claude
committed