Merge pull request #2746 from mraspaud/fix-workflow

Fix concurrency group in ci

.github/workflows/ci.yaml

@@ -2,7 +2,7 @@ name: CI
 # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency
 # https://docs.github.com/en/developers/webhooks-and-events/events/github-event-types#pullrequestevent
 concurrency:
-  group: ${{ github.workflow }}-${{ github.event.number }}-${{ github.event.type }}
+  group: ${{ github.workflow }}-${{ github.event.number || github.event.ref }}-${{ github.event.type }}
   cancel-in-progress: true
 
 on: [push, pull_request]