diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ac94192ae5..9ff09149ca 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,7 +5,6 @@ on: push: branches: - main - - pr* jobs: CI: runs-on: ubuntu-latest diff --git a/.github/workflows/push-pr.yml b/.github/workflows/push-pr.yml index 4c4cceec2e..0474a49908 100644 --- a/.github/workflows/push-pr.yml +++ b/.github/workflows/push-pr.yml @@ -16,6 +16,7 @@ jobs: runs-on: ubuntu-latest permissions: contents: write + actions: write steps: - uses: actions/checkout@v4 - name: push-pr @@ -25,3 +26,9 @@ jobs: echo "Pushing PR merge commit for ${PR} to remote pr${PR} branch" git fetch -f origin pull/${PR}/merge:pr${PR} git push -f origin pr${PR}:pr${PR} + - name: trigger CI + env: + PR: ${{ inputs.prNumber }} + GH_TOKEN: ${{ github.token }} + run: gh workflow run ci.yml --ref pr${PR} +