ci: avoid multiple ci runs when event is pull_request

This commit is contained in:
Marco Pasqualetti
2026-02-07 20:42:07 +01:00
parent ef52e2b341
commit 046a0cfd39
+4
View File
@@ -10,6 +10,10 @@ on:
- master
- monorepo # to be removed once we complete monorepo tasks
concurrency:
group: "${{ github.workflow }}-${{ github.head_ref }}"
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
permissions: {}
jobs: