Repository navigation
ci: review pull requests with claude on the ai-review label - #40
Merged
Merged
Conversation
wzslr321
force-pushed
the
ci/lean-review
branch
from
October 24, 2026 18:28
d61631d to
b2c58ff
Compare
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
wzslr321
force-pushed
the
ci/lean-review
branch
from
October 24, 2026 19:33
b2c58ff to
4d2a4c0
Compare
wzslr321
marked this pull request as ready for review
October 24, 2026 19:35
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Adding the
ai-reviewlabel to a pull request runs a Claude review that comments on the lines concerned. It checks the diff againstAGENTS.md,doc/code-quality.md,doc/design.mdand the PR description, and.github/ai-review.mdsays how. The first commit writes down inAGENTS.mdanddoc/code-quality.mdthe rules that earlier reviews kept repeating.Why
This is the automatic review pilot agreed on the AI Workplace weekly of 22.10, with one API key and one spend limit for LeanCode in the private
leancodepl/lean-review-action. Cursor Automations were dropped: on the Teams plan an automation bills the person who created it. The repeated rules were not written down, and neither the review nor a coding agent could follow them.How
A public repository cannot use an action from a private one through
uses:, and the workflow checks it out into.lean-reviewwith a read-only deploy key. The action reads maintainers' review comments from earlier PRs on the changed files (pull-requests: read) and comments as the Claude GitHub App (id-token: write). Start in.github/ai-review.md.Not here
The prompt, the model and the comment collection live in
leancodepl/lean-review-action. A second pass that checks each finding before it is posted is left out for now.