GitHub Actions の pull_request closed event は動かないことがある > GitHub doesn’t queue the merge commit job for closed PRs; So workflows using on: { pull_request: { types: [“closed”] } } will not consistently be triggered. https://t.co/fFdp2Pzqvv