infra: merge queue allowed (#28641)

This commit is contained in:
Erick Friis 2024-12-09 17:11:15 -08:00 committed by GitHub
parent 4e743b5427
commit 5afeb8b46c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -5,6 +5,7 @@ on:
push:
branches: [master]
pull_request:
merge_group:
# If another push to the same PR or branch happens while this workflow is still running,
# cancel the earlier run in favor of the next run.