speed up PR review workflow

2026-08-15 21:08:05 +00:00 · 2026-08-14 07:05:06 -03:00
parent 79cc735b7d
commit f38c2faa9e
4 changed files with 198 additions and 11 deletions
@@ -34,4 +34,4 @@ jobs:
                  GITHUB_TOKEN: ${{ github.token }}
                  GITHUB_REPOSITORY: ${{ github.repository }}
                  PR_NUMBER: ${{ github.event.pull_request.number }}
-              run: uv run python scripts/review_pr.py
+              run: uv run python scripts/review_pr.py --skip-pull-request-duplicates