ci: avoid multiple ci runs when event is pull_request (#48)

- https://docs.github.com/en/actions/how-tos/write-workflows/choose-when-workflows-run/control-workflow-concurrency - https://docs.github.com/en/actions/reference/workflows-and-actions/contexts#github-context > `github.ref_name`: The short ref name of the branch or tag that triggered the workflow run. This value matches the branch or tag name shown on GitHub. For example, feature-branch-1.For pull requests that were not merged, the format is <pr_number>/merge.
2026-02-08 06:50:49 +01:00
parent 27a5ce4de9 046a0cfd39
commit 3fc1484fcd
1 changed files with 4 additions and 0 deletions
@@ -9,6 +9,10 @@ on:
    branches:
      - master

+concurrency:
+  group: "${{ github.workflow }}-${{ github.head_ref }}"
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 permissions: {}

 jobs: