diff options
author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | 2018-02-11 14:14:45 -0800 |
---|---|---|
committer | Zachary Ware <zachary.ware@gmail.com> | 2018-02-11 16:14:45 -0600 |
commit | 09df4b761f6365e315be26c89d2af70a4fda6985 (patch) | |
tree | 43980bb5f6049331925b81c29d9cbcc452033882 /.github | |
parent | 40f7d9a06e7c2034714f71bb2ecd77d6499fbf62 (diff) | |
download | cpython-git-09df4b761f6365e315be26c89d2af70a4fda6985.tar.gz |
Fix AppVeyor doc short-circuit (GH-5633)
(cherry picked from commit 6ea20fc719dcaf102d2cefa1786f0421514f7a58)
Diffstat (limited to '.github')
-rw-r--r-- | .github/appveyor.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/appveyor.yml b/.github/appveyor.yml index a4c11df279..9d47c9975e 100644 --- a/.github/appveyor.yml +++ b/.github/appveyor.yml @@ -14,12 +14,15 @@ before_build: } elseif (!$env:APPVEYOR_PULL_REQUEST_HEAD_COMMIT) { echo 'Not a PR, doing full build.' } else { - $mergebase = git merge-base $env:APPVEYOR_PULL_REQUEST_HEAD_COMMIT $env:APPVEYOR_REPO_BRANCH + git fetch -q origin +refs/heads/$env:APPVEYOR_REPO_BRANCH + $mergebase = git merge-base HEAD FETCH_HEAD $changes = git diff --name-only HEAD $mergebase | grep -vE '(\.rst$)|(^Doc)|(^Misc)' If (!$changes) { echo 'Only docs were updated, stopping build process.' Exit-AppveyorBuild } + echo 'Doing full build due to non-doc changes in these files:' + echo $changes } |