Merge pull request #97503 from Repiteo/ci/merge_queue
CI: Support merge queues with default runner
This commit is contained in:
commit
a53d0a36e4
|
@ -1,5 +1,5 @@
|
||||||
name: 🔗 GHA
|
name: 🔗 GHA
|
||||||
on: [push, pull_request]
|
on: [push, pull_request, merge_group]
|
||||||
|
|
||||||
concurrency:
|
concurrency:
|
||||||
group: ci-${{ github.actor }}-${{ github.head_ref || github.run_number }}-${{ github.ref }}-runner
|
group: ci-${{ github.actor }}-${{ github.head_ref || github.run_number }}-${{ github.ref }}-runner
|
||||||
|
|
Loading…
Reference in New Issue