CI runs twice when commit local branch is in a pull request

[wusatosi]

For example, see: bemanproject/scope#3

This wastes resource and increases CI time.

[wusatosi]

Looks like there's no clean way to avoid this, let's revisit once this becomes an issue. See: https://github.com/orgs/community/discussions/26940