diff options
author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2019-08-02 18:19:14 +0300 |
---|---|---|
committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2019-08-02 18:19:14 +0300 |
commit | 67aed94e2bf56e18a011732c9c3938c51226b7d2 (patch) | |
tree | 79c751450702e8110e0045b483e837490d56515f /scripts | |
parent | 5bb4f1eea8501a61c87bed0cf752b3f700c77556 (diff) |
[ci] Set apidiff/csprojdiff statuses even when we're skipping the build
They are required GitHub statuses so we need to set them.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/run-jenkins.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh index 871c53c7efd..a645c2d18f5 100755 --- a/scripts/ci/run-jenkins.sh +++ b/scripts/ci/run-jenkins.sh @@ -15,15 +15,17 @@ source ${MONO_REPO_ROOT}/scripts/ci/util.sh if [[ ${CI_TAGS} == *'pull-request'* ]]; then # Skip lanes which are not affected by the PR - diff_url=`echo $ghprbPullLink`.diff - wget -O pr-contents.diff $diff_url + wget -O pr-contents.diff "${ghprbPullLink}.diff" grep '^diff' pr-contents.diff > pr-files.txt + echo "Files affected by the PR:" cat pr-files.txt # FIXME: Add more if ! grep -q -v a/netcore pr-files.txt; then echo "NetCore only PR, skipping." ${TESTCMD} --label="Skipped on NETCORE." --timeout=60m --fatal sh -c 'exit 0' + if [[ $CI_TAGS == *'apidiff'* ]]; then report_github_status "success" "API Diff" "Skipped." || true; fi + if [[ $CI_TAGS == *'csprojdiff'* ]]; then report_github_status "success" "Project Files Diff" "Skipped." || true; fi exit 0 fi fi |