summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorValery Piashchynski <[email protected]>2020-12-19 16:18:29 +0300
committerValery Piashchynski <[email protected]>2020-12-19 16:18:29 +0300
commit31c74fa9454b9060ec9bf089d7dc288d227219cf (patch)
treeafcd0b9040ee1165c63d86a5e79f8dc1c4950336
parentd8762242ff7c33851056ce237860c7a93dccdf94 (diff)
Update CI
-rw-r--r--.github/workflows/build.yml6
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: