如何获取GitHub Pull Request ID号

Question

是否有一种方法可以将Github的拉取请求编号（例如PR＃323）设置为Github Actions的环境变量（不带标签）？

start /?

Answer 1

on:
  pull_request

env:
  GITHUB_PR_NUMBER: ${{github.event.pull_request.number}}
jobs:
  prJob:    
    name: Print event
    runs-on: ubuntu-latest
    steps:
      - run: |
          echo "$GITHUB_PR_NUMBER"

有关更多信息，请参见https://docs.github.com/en/developers/webhooks-and-events/webhook-events-and-payloads#pull_request