Why your GitHub Actions workflow runs twice on push and pull_request, and how to stop it

You open a pull request and the Actions tab shows two runs of the same CI workflow for the same push: one from push, one from pull_request. Each later push to the branch starts two more. It isn't a bu