Github 对从特定头分支到特定基础分支的合并请求运行的操作
Github Action that runs on Pull Request from a particular head branch, to a particular base branch
我想要 Github 对 运行 的 Pull Request 到特定基本分支的 操作，但是 来自 另一个特定的主分支。
name: Run production tests
on:
push:
pull_request:
branches:
- main
jobs: ...
但是，当一个名为 develop 的分支针对 main 进行 PR 时，我特别希望向 运行 发送这样的内容，而不是每次向 main.
这样的工作流程可行吗？我可能遗漏了它，但我没有在文档中看到定位 head 分支的方法。
在文档中，我找不到用于 head 分支的任何过滤器。但这在 if 条件下是可行的。
例如
name: Run production tests
on:
pull_request:
branches:
- main
jobs:
build:
if: ${{ github.head_ref == 'develop'}}
runs-on: ubuntu-latest
steps:
- name: Run a multi-line script
run: |
echo "Do something here"
我想要 Github 对 运行 的 Pull Request 到特定基本分支的 操作，但是 来自 另一个特定的主分支。
name: Run production tests
on:
push:
pull_request:
branches:
- main
jobs: ...
但是，当一个名为 develop 的分支针对 main 进行 PR 时，我特别希望向 运行 发送这样的内容，而不是每次向 main.
这样的工作流程可行吗？我可能遗漏了它，但我没有在文档中看到定位 head 分支的方法。
在文档中，我找不到用于 head 分支的任何过滤器。但这在 if 条件下是可行的。
例如
name: Run production tests
on:
pull_request:
branches:
- main
jobs:
build:
if: ${{ github.head_ref == 'develop'}}
runs-on: ubuntu-latest
steps:
- name: Run a multi-line script
run: |
echo "Do something here"