[ci] Don't fail when setting GitHub status doesn't work
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Sat, 29 Apr 2017 21:17:27 +0000 (23:17 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Sat, 29 Apr 2017 21:17:27 +0000 (23:17 +0200)
scripts/ci/run-test-default.sh

index 9b418f5adc0b1eacd6c4cf2b35858c121a5cef7e..90d65a194a6885269e45d363f15365d61aeee0e9 100755 (executable)
@@ -100,8 +100,8 @@ fi
 if [[ ${label} == 'ubuntu-1404-amd64' ]]; 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."
-    else report_github_status "error" "API Diff" "The public API changed." "$BUILD_URL/Public_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
     fi
 else ${TESTCMD} --label=apidiff --skip
 fi