File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1818 push :
1919 # We do not build on push to develop as the merge_group check handles that
2020 branches : [staging, master]
21- repository_dispatch :
22- types : [element-web-notify]
2321
2422 # support triggering from other workflows
2523 workflow_call :
Original file line number Diff line number Diff line change 55 branches : [develop, master]
66 merge_group :
77 types : [checks_requested]
8- repository_dispatch :
9- types : [element-web-notify]
108concurrency :
119 group : ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
1210 cancel-in-progress : true
Original file line number Diff line number Diff line change 55 types : [checks_requested]
66 push :
77 branches : [develop, master]
8- repository_dispatch :
9- types : [element-web-notify]
108 workflow_call :
119 inputs :
1210 disable_coverage :
You can’t perform that action at this time.
0 commit comments