diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-29 00:47:05 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-29 00:47:05 +0200 |
| commit | a53d0a36e402913077a4097d6c998279878741c0 (patch) | |
| tree | 30c6205fb64326ed573dfaa683dff0b1cd21fe48 /.github | |
| parent | 422306ef873d96d8ec8439cd97c06e3a902e83b4 (diff) | |
| parent | cb9a457153e8d8242ab2c94424211af3c96d61fd (diff) | |
| download | redot-engine-a53d0a36e402913077a4097d6c998279878741c0.tar.gz | |
Merge pull request #97503 from Repiteo/ci/merge_queue
CI: Support merge queues with default runner
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/runner.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/runner.yml b/.github/workflows/runner.yml index d2d0e3571f..fd5e74b914 100644 --- a/.github/workflows/runner.yml +++ b/.github/workflows/runner.yml @@ -1,5 +1,5 @@ name: 🔗 GHA -on: [push, pull_request] +on: [push, pull_request, merge_group] concurrency: group: ci-${{ github.actor }}-${{ github.head_ref || github.run_number }}-${{ github.ref }}-runner |