We seem to get occasional conflicts between checks for merge_group and checks on push to main. Because some of the merge_group checks are not required for merge, they might still be running when the push to main checks run (post-merge), resulting in cancellations because they share the same concurrency group name. This PR add ${{ github.event_name }} to the concurrency group to attempt to distinguish between the two. Another solution might be to remove the push to main checks, as they could be redundant.
We seem to get occasional conflicts between checks for
merge_groupand checks on push tomain. Because some of themerge_groupchecks are not required for merge, they might still be running when the push tomainchecks run (post-merge), resulting in cancellations because they share the same concurrency group name. This PR add${{ github.event_name }}to the concurrency group to attempt to distinguish between the two. Another solution might be to remove the push tomainchecks, as they could be redundant.