ci: fix concurrency for pull_request_target (#6917)

diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
index d50af0b70e17cae090519a0194149e0c9ecd89a3..6dc91d27b0b466f641ee33a1bd011a04fe636e9a 100644 (file)
--- a/.github/workflows/bench.yml
+++ b/.github/workflows/bench.yml
@@ -32,7 +32,7 @@ on:
     -  cron: '04 2 * * *'
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}-${{ github.event.inputs.sha }}
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref || github.run_id }}-${{ github.event.inputs.sha }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/server.yml b/.github/workflows/server.yml
index 3e68a3c8c433f76e4a73426089005d9f55f8da4c..499611b5a85c6a0942ca95e50a71897383857729 100644 (file)
--- a/.github/workflows/server.yml
+++ b/.github/workflows/server.yml
@@ -23,7 +23,7 @@ on:
     -  cron: '2 4 * * *'
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref || github.run_id }}
   cancel-in-progress: true
 
 jobs: