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

Comment récupérer le numéro de demande d'extraction dans les actions GitHub ?

Pour récupérer le numéro de pull request dans GitHub Actions, vous pouvez suivre les étapes suivantes :

1. Ajoutez l'expression pull_request_target dans votre fichier de workflow. Par exemple :

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}`)

2. Après avoir ajouté l'expression, vous pouvez obtenir le numéro de la demande d'extraction à l'aide de la variable d'environnement GITHUB_PULL_REQUEST_NUMBER.

Comment puis-je accéder au numéro de demande d'extraction dans un workflow GitHub Actions ?

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 :

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 }}"

Comment récupérer l'ID de la demande d'extraction de GitHub Actions pour l'utiliser dans un workflow ?

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 :

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 }}"

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!