ci: add merge_group event

This commit is contained in:
Phillip Cloud 2023-07-10 07:20:29 -05:00
parent 022fd05191
commit 48ca5ef37a
No known key found for this signature in database
GPG key ID: D908212070FD785E

View file

@ -2,6 +2,7 @@ name: CI
on:
pull_request:
merge_group:
concurrency:
group: ${{ github.repository }}-${{ github.head_ref || github.sha }}-${{ github.workflow }}