Merge pull request #187 from lukaszstolarczuk/fix-ci-concurrency

[CI] Fix concurrency group name for PR/push workflow

Author: ldorau

.github/workflows/pr_push.yml

@@ -3,7 +3,7 @@ name: PR/push
 on: [push, pull_request]
 
 concurrency:
-    group: ${{ github.head_ref }}-${{ github.workflow }}
+    group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
     cancel-in-progress: true
 
 jobs: