假设我有两个分支，一个功能分支和一个开发分支。
功能分支上通常没有SLA，这意味着我可以整天向它推送损坏的代码，并且不应该触发CI构建。
然后我打开一个公关发展。我在pull_request:created上触发CI构建操作。假设此构建失败。默认情况下，我不能合并PR，这是正确的。
现在我想将编辑推送到功能分支以更新PR。我希望这些推送触发CI构建(因为我们现在正在打开的PR中工作(。在这些推送CI通过之前，我不希望继续/合并PR。
我如何在GitHub操作中做到这一点？我试过on pull_request: edited，但对我不起作用。
我正在寻找功能等价物：
on:
push:
if: inside_open_pr
使用事件pull_request，不要指定活动或指定活动synchronize:
on:
pull_request:
注意：默认情况下，工作流仅在
pull_request的活动类型为opened、synchronize或reopened时运行。要触发更多活动类型的工作流，请使用types关键字。
源
如果将新提交推送到拉请求的HEAD ref，则会触发此"同步"事件。这是因为系统正在将拉取请求与最新更改同步。如果更新了基准引用，则不会触发此操作。
源
如果您还需要对基本分支的更改做出反应，那么您必须添加活动edited。
源
如果pull_request不是一个选项，您可以尝试使用https://github.com/marketplace/actions/get-current-pull-request