mirror of https://github.com/docker/docs.git
ci: missing concurrency checks
Signed-off-by: CrazyMax <crazy-max@users.noreply.github.com>
This commit is contained in:
parent
4ba0306c81
commit
f0790796af
|
@ -1,5 +1,9 @@
|
|||
name: build
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
on:
|
||||
push:
|
||||
# needs push event on default branch otherwise cache is evicted when pull request is merged
|
||||
|
|
|
@ -1,5 +1,9 @@
|
|||
name: deploy
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
on:
|
||||
workflow_dispatch:
|
||||
push:
|
||||
|
|
|
@ -1,5 +1,9 @@
|
|||
name: merge
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
# open or update publishing PR when there is a push to main
|
||||
on:
|
||||
workflow_dispatch:
|
||||
|
|
Loading…
Reference in New Issue