There are no conditions on this push: trigger in the CI workflow:

That means extra CI runs for PRs opened with a topic branch in this repo, e.g. #4034:

In this situation, ideally only the pull_request event would trigger CI. @LeoColomb can we scope the CI workflow's push event trigger to run only on pushes to master without breaking any of your other automation?