Maison >outils de développement >git >comment obtenir le numéro pr dans les actions github
Cet article décrit les méthodes permettant de récupérer le numéro de demande d'extraction dans GitHub Actions. L'approche principale consiste à utiliser l'expression pull_request_target dans le fichier de workflow pour accéder au numéro de demande d'extraction via le GITHUB_PULL_REQUEST_NUMBER fr
Pour récupérer le numéro de pull request dans GitHub Actions, vous pouvez suivre les étapes suivantes :
pull_request_target
dans votre fichier de workflow. Par exemple :<code class="yaml">name: Pull Request Actions on: pull_request: paths: - "**.py" jobs: build-test: runs-on: ubuntu-latest if: ${{ github.event.pull_request.target.branch == 'main' }} steps: - name: Get pull request number id: get_pull_request_number uses: actions/github-script@v6 with: script: | console.log(`The pull Request number is ${process.env.GITHUB_PULL_REQUEST_NUMBER}`)</code>
GITHUB_PULL_REQUEST_NUMBER
.Vous pouvez accéder au numéro de demande d'extraction dans un workflow GitHub Actions à l'aide de l'expression github.event.pull_request.number
. Par exemple :
<code class="yaml">name: Pull Request Actions on: pull_request jobs: build-test: runs-on: ubuntu-latest steps: - name: Get pull request number run: echo "The pull Request number is ${{ github.event.pull_request.number }}"</code>
Pour récupérer l'ID de la demande d'extraction de GitHub Actions pour l'utiliser dans un workflow, vous pouvez utiliser l'expression github.event.pull_request.id
. Par exemple :
<code class="yaml">name: Pull Request Actions on: pull_request jobs: build-test: runs-on: ubuntu-latest steps: - name: Get pull request ID run: echo "The pull Request ID is ${{ github.event.pull_request.id }}"</code>
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!