46 - Restore push trigger
This commit is contained in:
parent
35aa555a97
commit
1df0b76f10
1 changed files with 2 additions and 2 deletions
|
|
@ -1,8 +1,8 @@
|
||||||
name: CI
|
name: CI
|
||||||
|
|
||||||
on:
|
on:
|
||||||
# No push trigger: a push to a branch with an open PR matches both and runs
|
push:
|
||||||
# everything twice. Pull request events cover pushes to the PR's branch.
|
branches: ['release/*']
|
||||||
pull_request:
|
pull_request:
|
||||||
branches: [main, 'release/*']
|
branches: [main, 'release/*']
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue