Update CI/CD: run workflow just once for pull_request/push events

This commit is contained in:
Arkadii Yakovets 2024-09-03 08:52:15 -07:00
parent 0126926472
commit 6bd1aaeef6
No known key found for this signature in database
GPG Key ID: 7350E7F17DFE6846
1 changed files with 4 additions and 0 deletions

View File

@ -5,6 +5,10 @@ on:
- push - push
- workflow_dispatch - workflow_dispatch
concurrency:
cancel-in-progress: true
group: ${{ github.repository }}-${{ github.workflow }}-${{ github.head_ref || github.ref_name }}
jobs: jobs:
pre-commit: pre-commit:
name: Run pre-commit name: Run pre-commit