Commit d93c140
committed
Fix Circle merge on master branch.
There exists a PR on a random fork, which fills in `CI_PULL_REQUEST`,
which we don't want to use as merge target when building `master`.
Instead, check `CIRCLE_PR_NUMBER`, which is set only on forked PRs.
Also, check branch name (which is current, not the _target_) to be
certain.1 parent dea6221 commit d93c140
1 file changed
+4
-4
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
31 | 31 | | |
32 | 32 | | |
33 | 33 | | |
34 | | - | |
35 | | - | |
36 | | - | |
37 | | - | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
38 | 38 | | |
39 | 39 | | |
40 | 40 | | |
| |||
0 commit comments