Skip to content

ci: use github-pr-review reporter for ruff action#24

Merged
benner merged 1 commit into
mainfrom
ci/ruff-reporter-github-pr-review
Apr 23, 2026
Merged

ci: use github-pr-review reporter for ruff action#24
benner merged 1 commit into
mainfrom
ci/ruff-reporter-github-pr-review

Conversation

@benner
Copy link
Copy Markdown
Owner

@benner benner commented Apr 23, 2026

github-pr-review reporter needs pull-requests: write to post inline
review comments; without it reviewdog falls back to annotations.

github-pr-review reporter needs pull-requests: write to post inline
review comments; without it reviewdog falls back to annotations.

Signed-off-by: Nerijus Bendžiūnas <nerijus.bendziunas@gmail.com>
@benner benner force-pushed the ci/ruff-reporter-github-pr-review branch from 8759bcb to 30c2294 Compare April 23, 2026 04:55
@benner benner marked this pull request as ready for review April 23, 2026 04:58
@benner benner merged commit 37c697b into main Apr 23, 2026
4 checks passed
@benner benner deleted the ci/ruff-reporter-github-pr-review branch April 23, 2026 04:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant