github-actions - 分支未合并时，pull_request close 上的 GitHub 操作不会运行

Question

我注意到，有时（或者可能一直），GH 动作的形式如下：

on:
  pull_request:
    types: [closed]

当 PR 在没有合并的情况下关闭时不会运行。上面的语法是正确的语法吗？该动作总是在 PR 被合并时运行，所以它只是“close-no-merge”的情况下失败了。谢谢！

标签： github-actions