diff --git a/.github/workflows/build_pull_request.yml b/.github/workflows/build_pull_request.yml index 8d0fdcd931..fcf6bb5c54 100644 --- a/.github/workflows/build_pull_request.yml +++ b/.github/workflows/build_pull_request.yml @@ -2,6 +2,10 @@ name: Build pull request on: workflow_dispatch: + inputs: + pr: + description: "PR to build" + required: true pull_request: branches: - dev @@ -10,9 +14,14 @@ jobs: release: name: Build runs-on: ubuntu-latest + permissions: + contents: read + steps: - name: Checkout uses: actions/checkout@v5 + with: + ref: ${{ inputs.pr && format('refs/pull/{0}/merge', inputs.pr-number) }} || github.ref }} - name: Setup Java uses: actions/setup-java@v5