ci: Use concurrency for pull requests only

Otherwise, any previously pending workflow will be canceled on the following push.
fanquake · Aug 22, 2023 · ee1be62 · ee1be62
1 parent 6ee1455
commit ee1be62
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,8 +8,8 @@ on:
       - '**'
 
 concurrency:
-  group: ${{ github.ref }}
-  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+  group: ${{ github.event_name != 'pull_request' && github.run_id || github.ref }}
+  cancel-in-progress: true
 
 env:
   ### compiler options