tools/github actions: fix concurrency between workflows

- only jobs that are part of the same workflow should not run concurrently
This commit is contained in:
nodiscc 2023-07-22 19:13:03 +02:00
parent 4387d6e79b
commit 423b418371
No known key found for this signature in database
GPG key ID: 067FC4266A4B6909
3 changed files with 3 additions and 3 deletions

View file

@ -6,7 +6,7 @@ on:
workflow_dispatch:
concurrency:
group: ${{ github.ref }}
group: build-${{ github.ref }}
cancel-in-progress: true
jobs:

View file

@ -9,7 +9,7 @@ env:
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
concurrency:
group: ${{ github.ref }}
group: update-metadata-${{ github.ref }}
cancel-in-progress: true
jobs:

View file

@ -5,7 +5,7 @@ on:
branches: [ master ]
concurrency:
group: ${{ github.ref }}
group: pull-request-${{ github.ref }}
cancel-in-progress: true
jobs: