Ignore upmerge branches CI build on push event

This commit is contained in:
Jakub Tobiasz 2023-04-20 10:53:52 +02:00
parent a10da71652
commit de1423777d
No known key found for this signature in database
GPG key ID: 6434250CB3525233

View file

@ -7,7 +7,9 @@ on:
- "docs/**"
- "*.md"
workflow_dispatch: ~
push: ~
push:
branches-ignore:
- 'upmerge/**'
concurrency:
group: ci-${{ github.workflow }}-${{ github.ref }}-minimal