1
0
mirror of synced 2026-01-06 06:02:35 -05:00

Optimize workflow runs with concurrency settings (#23811)

* Add concurrency settings for a bunch of workflows
* Restrict prod deployments to one at a time but disallow interrupting
* Remove redundant pull_request.types specification
This commit is contained in:
James M. Greene
2021-12-17 10:00:52 -06:00
committed by GitHub
parent 65ce87457c
commit d6405ecb45
24 changed files with 118 additions and 27 deletions

View File

@@ -26,6 +26,11 @@ on:
permissions:
contents: read
# This allows a subsequently queued workflow run to interrupt previous runs
concurrency:
group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
cancel-in-progress: true
jobs:
check-schema-versions:
if: ${{ github.repository == 'github/docs-internal' }}