From d2651e4d9f16f195c783797122e8be05098f0d19 Mon Sep 17 00:00:00 2001 From: ajianaz Date: Thu, 8 Oct 2026 15:06:56 +0700 Subject: [PATCH] ci: pass the PR base branch to the Cora review action The action defaults base-branch to origin/develop. For PRs into main (release PRs, whose head carries develop's tree) git diff origin/develop...HEAD is empty, so Cora reported 'empty result' and never reviewed the release diff (#1380: 0 files vs 58 against main). Same root cause as homebrew-tap#5/#6. Co-Authored-By: Claude Sonnet 5.5 --- .github/workflows/cora-review.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/cora-review.yml b/.github/workflows/cora-review.yml index d887ebee..0c38bafb 100644 --- a/.github/workflows/cora-review.yml +++ b/.github/workflows/cora-review.yml @@ -33,3 +33,8 @@ jobs: cora-api-key: ${{ secrets.CORA_API_KEY }} cora-base-url: ${{ secrets.CORA_BASE_URL }} cora-model: ${{ secrets.CORA_MODEL }} + # The action defaults to origin/develop. For a PR into main that makes + # `git diff origin/develop...HEAD` empty (release PRs carry develop's + # tree), so Cora reported "empty result" and never reviewed the diff. + # Diff against the PR's real base branch. + base-branch: origin/${{ github.base_ref }}