[jenkins] Make it possible to skip API comparison by applying a label to a pull request.#3994

rolfbjarne merged 1 commit into

dotnet:masterdotnet/macios:masterfrom

rolfbjarne:jenkins-skip-api-comparisonrolfbjarne/macios:jenkins-skip-api-comparisonCopy head branch name to clipboard