Try and keep benchmark run in UI

Signed-off-by: Adam Gutglick <adam@spiraldb.com>

Author: AdamGS

.github/workflows/bench-pr.yml

@@ -4,7 +4,13 @@ name: PR Benchmarks
 
 concurrency:
   # The group causes runs to queue instead of running in parallel.
-  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  # Use a unique group for non-benchmark label events so they don't interfere with in-progress benchmark runs.
+  group: >-
+    ${{ github.workflow }}-${{
+      github.event.label.name == 'action/benchmark'
+      && github.head_ref
+      || github.run_id
+    }}
   # Don't cancel benchmarks that are already running, instead just queue them up.
   cancel-in-progress: false
 

.github/workflows/sql-pr.yml

@@ -3,7 +3,13 @@
 name: PR SQL Benchmarks
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  # Use a unique group for non-benchmark label events so they don't interfere with in-progress benchmark runs.
+  group: >-
+    ${{ github.workflow }}-${{
+      github.event.label.name == 'action/benchmark-sql'
+      && github.head_ref
+      || github.run_id
+    }}
   cancel-in-progress: true
 
 on: