[CI] Cancel pending jobs for PRs on new commits (#324)

Cancel pending jobs for PRs on new commits
This commit is contained in:
Anton Lozhkov 2022-09-01 16:14:53 +02:00 committed by GitHub
parent 1b1d6444c6
commit 93debd301d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 0 deletions

View File

@ -8,6 +8,10 @@ on:
branches:
- main
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
check_code_quality:
runs-on: ubuntu-latest

View File

@ -5,6 +5,10 @@ on:
branches:
- main
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
env:
HF_HOME: /mnt/cache
OMP_NUM_THREADS: 8