diff options
| author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2018-05-18 15:23:21 +0300 |
|---|---|---|
| committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2018-05-18 15:23:21 +0300 |
| commit | fa9579a8fa109a4751543e4c6466a76bcad524bf (patch) | |
| tree | f6615f8b623554a92df552ba97287223d5bf2153 /scripts | |
| parent | 9805cda80fd0d56b452854bbfef1784ebd59b7bf (diff) | |
[ci] Fix URL for apidiff/csprojdiff report
The upgraded HTML publisher plugin on Jenkins now generates a different URL.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci/run-test-default.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ci/run-test-default.sh b/scripts/ci/run-test-default.sh index 5b62da84809..500bb0c5c0f 100755 --- a/scripts/ci/run-test-default.sh +++ b/scripts/ci/run-test-default.sh @@ -129,7 +129,7 @@ if [[ $CI_TAGS == *'apidiff'* ]]; then source ${MONO_REPO_ROOT}/scripts/ci/util.sh if ${TESTCMD} --label=apidiff --timeout=15m --fatal make -w -C mcs -j4 mono-api-diff then report_github_status "success" "API Diff" "No public API changes found." || true - else report_github_status "error" "API Diff" "The public API changed." "$BUILD_URL/Public_API_Diff/" || true + else report_github_status "error" "API Diff" "The public API changed." "$BUILD_URL/Public_20API_20Diff/" || true fi else ${TESTCMD} --label=apidiff --skip fi @@ -138,7 +138,7 @@ if [[ $CI_TAGS == *'csprojdiff'* ]]; then make update-solution-files if ${TESTCMD} --label=csprojdiff --timeout=5m --fatal make -w -C mcs mono-csproj-diff then report_github_status "success" "Project Files Diff" "No csproj file changes found." || true - else report_github_status "error" "Project Files Diff" "The csproj files changed." "$BUILD_URL/Project_Files_Diff/" || true + else report_github_status "error" "Project Files Diff" "The csproj files changed." "$BUILD_URL/Project_20Files_20Diff/" || true fi else ${TESTCMD} --label=csprojdiff --skip fi |