diff options
| author | Stephen Toub <stoub@microsoft.com> | 2016-11-06 15:57:06 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-06 15:57:06 +0300 |
| commit | 34a809d57324a1769fa32b55b41e5a62f9727347 (patch) | |
| tree | d4b2d4165d553ce0c7e615275c6ca5319b554b9f /netci.groovy | |
| parent | c12a36ae78e70f36b1fb31228ef7d468c251eecc (diff) | |
Temporarily disabling CentOS7.1 PR legs
Due to https://github.com/dotnet/corefx/issues/13395, all CentOS legs are failing in PRs.
Diffstat (limited to 'netci.groovy')
| -rw-r--r-- | netci.groovy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/netci.groovy b/netci.groovy index b2ad093930..ca178ca6bf 100644 --- a/netci.groovy +++ b/netci.groovy @@ -396,7 +396,7 @@ def osShortName = ['Windows 10': 'win10', // Set up triggers if (isPR) { // Set PR trigger, we run Windows_NT, Ubuntu 14.04, CentOS 7.1 and OSX on every PR. - if ( osName == 'Windows_NT' || osName == 'Ubuntu14.04' || osName == 'CentOS7.1' || osName == 'OSX' ) { + if ( osName == 'Windows_NT' || osName == 'Ubuntu14.04' || /*osName == 'CentOS7.1' ||*/ osName == 'OSX' ) { Utilities.addGithubPRTriggerForBranch(newJob, branch, "Innerloop ${osName} ${configurationGroup} Build and Test") } else { |