tools/github actions: allow concurrent runs of dead links/unmaintained projects workflows

This commit is contained in:
nodiscc 2023-07-28 14:25:55 +02:00
parent 11520bd624
commit eb8c117b90
No known key found for this signature in database
GPG key ID: 067FC4266A4B6909
2 changed files with 2 additions and 2 deletions

View file

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

View file

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