Queue CI actions by branch

This avoids the problem of merging multiple pull requests in a short
span. Usually what happens is the generate-duplicate-report is slow
and since it updates a branch in the repo there are occasiosn where
multiple actions would update the same branch concurrently. This will
always result in an execution failure. By disabling the concurrency it
is possible to fix this behaviour. Actions are queued by branch, job
name and event name refs-head-master-build-and-test-pull_request_target
which will still allow multiple PR jobs to run by their own and isolated
This commit is contained in:
Luciano Ciccariello 2023-04-29 08:23:10 +01:00
parent 12e0d299cb
commit 9532b90fc5

View File

@ -14,6 +14,10 @@ on:
- '**/*.md'
workflow_dispatch:
concurrency:
group: ${{ github.ref }}-${{ github.job }}-${{ github.event_name }}-${{ github.number }}
cancel-in-progress: false
jobs:
build-and-test:
strategy: