From 3d93ccc301b657d0384c3099d0d48ba3b340f067 Mon Sep 17 00:00:00 2001 From: lacatoire Date: Mon, 17 Aug 2026 13:46:51 +0200 Subject: [PATCH] CI: check the EN-Revision of the PR head, not of the merge commit --- .github/workflows/check-en-revision.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/check-en-revision.yml b/.github/workflows/check-en-revision.yml index 4aab437a1..9fd190162 100644 --- a/.github/workflows/check-en-revision.yml +++ b/.github/workflows/check-en-revision.yml @@ -18,9 +18,15 @@ jobs: name: "Check EN-Revision" runs-on: ubuntu-latest steps: + # The explicit ref takes the real head of the pull request, not the merge + # commit actions/checkout builds by default: that one has master as its + # second parent, so the diff below would also list every file landed on + # master since the last push to the pull request. + - name: "Checkout translation" uses: actions/checkout@v7 with: + ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 - name: "Checkout php/doc-en"