Skip to content

feat(meta): add agent-review rubric and example GitHub Action#1209

Draft
jfindlay wants to merge 1 commit into
leanprover-community:masterfrom
jfindlay:AI-Policy
Draft

feat(meta): add agent-review rubric and example GitHub Action#1209
jfindlay wants to merge 1 commit into
leanprover-community:masterfrom
jfindlay:AI-Policy

Commits

Commits on Jun 19, 2026