diff options
author | Valery Piashchynski <[email protected]> | 2020-12-19 16:18:29 +0300 |
---|---|---|
committer | Valery Piashchynski <[email protected]> | 2020-12-19 16:18:29 +0300 |
commit | 31c74fa9454b9060ec9bf089d7dc288d227219cf (patch) | |
tree | afcd0b9040ee1165c63d86a5e79f8dc1c4950336 | |
parent | d8762242ff7c33851056ce237860c7a93dccdf94 (diff) |
Update CI
-rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 92b55666..242ad184 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -3,6 +3,12 @@ name: build on: push: pull_request: + branches: + # Branches from forks have the form 'user:branch-name' so we only run + # this job on pull_request events for branches that look like fork + # branches. Without this we would end up running this job twice for non + # forked PRs, once for the push and then once for opening the PR. + - '**:**' jobs: php: |