From b60451a6e01572b4329ba820c6a93e0cdc0bf2cd Mon Sep 17 00:00:00 2001 From: Liangsheng Yin Date: Wed, 19 Nov 2025 00:53:34 +0800 Subject: [PATCH 1/2] fix --- .github/workflows/pr-gate.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/pr-gate.yml b/.github/workflows/pr-gate.yml index aeb2a86860ff..e5920142bd69 100644 --- a/.github/workflows/pr-gate.yml +++ b/.github/workflows/pr-gate.yml @@ -12,6 +12,9 @@ on: jobs: pr-gate: + # 1. for commits on main: no gating needed + # 2. for workflow_dispatch: this can only be triggered by users with write access + if: github.event_name == 'pull_request' runs-on: ubuntu-latest steps: - name: Fetch latest PR info From 7a089d76eedd1c83c464d04dda8cc7bacd4f70b1 Mon Sep 17 00:00:00 2001 From: Liangsheng Yin Date: Wed, 19 Nov 2025 00:56:17 +0800 Subject: [PATCH 2/2] fix --- .github/workflows/pr-gate.yml | 7 ------- 1 file changed, 7 deletions(-) diff --git a/.github/workflows/pr-gate.yml b/.github/workflows/pr-gate.yml index 82aeac12e9d9..0e2692862445 100644 --- a/.github/workflows/pr-gate.yml +++ b/.github/workflows/pr-gate.yml @@ -17,13 +17,6 @@ jobs: if: github.event_name == 'pull_request' runs-on: ubuntu-latest steps: - # 1. for commits on main: no gating needed - # 2. for workflow_dispatch: this can only be triggered by users with write access - - name: Skip PR-Gate for non-PR events - if: github.event_name != 'pull_request' - run: | - echo "Not a pull_request event; skipping PR-Gate checks." - exit 0 - name: Fetch latest PR info id: pr uses: actions/github-script@v7