[CI] fix skipping pr-gate on main (#13525)

This commit is contained in:
Liangsheng Yin
2025-11-19 00:57:22 +08:00
committed by GitHub
parent 109f27ba3a
commit 6e9b154981

View File

@@ -12,15 +12,11 @@ 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:
# 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