Fix 'pr' workflow (#6005)

BoD · web-flow · commit 0b10e39e64b7 · 2024-06-27T15:30:10.000+02:00
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -12,7 +12,7 @@ env:
 
 # Cancel any current or previous job from the same PR
 concurrency:
-  group: ${{ github.head_ref }}
+  group: ${{ github.head_ref || github.run_id }}
   cancel-in-progress: true
 
 jobs:
