chore: use concurrency for Github actions (#8413)

This commit is contained in:
jrandolf 2022-05-30 11:49:19 +02:00 committed by GitHub
parent be26137041
commit 6e705f9736
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,6 +11,10 @@ on:
branches: branches:
- main - main
concurrency:
group: ${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs: jobs:
linux-main-checks: linux-main-checks:
# https://github.com/actions/virtual-environments#available-environments # https://github.com/actions/virtual-environments#available-environments