CI: Put push and scheduled runs in separate groups

This should reduce the number of unwanted cancellations.
This commit is contained in:
TEC 2024-03-09 12:50:06 +08:00
parent 031781460c
commit 47a615c3ee
Signed by: tec
SSH Key Fingerprint: SHA256:eobz41Mnm0/iYWBvWThftS0ElEs1ftBr6jamutnXc/A
1 changed files with 1 additions and 1 deletions

View File

@ -21,7 +21,7 @@ permissions:
# Allow one concurrent deployment
concurrency:
group: "pages"
group: ${{ github.event_name }}
cancel-in-progress: true
jobs: