Update element-web.yaml

This commit is contained in:
Michael Telatynski 2023-04-06 09:56:23 +01:00 committed by GitHub
parent 6c0f6109a0
commit 7d04dc2a9c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,6 +10,9 @@ on:
branches: [develop, master]
repository_dispatch:
types: [upstream-sdk-notify]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
cancel-in-progress: true
env:
# These must be set for fetchdep.sh to get the right branch
REPOSITORY: ${{ github.repository }}