jenkins: new "release-sources" labels for source, headers, docs

nodejs · Apr 18, 2019 · 6d12c28 · 6d12c28
1 parent d0022bd
commit 6d12c28
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/jenkins/scripts/VersionSelectorScript.groovy b/jenkins/scripts/VersionSelectorScript.groovy
@@ -75,6 +75,12 @@ def buildExclusions = [
   // FreeBSD -----------------------------------------------
   [ /^freebsd10/,                     anyType,     gte(11) ],
 
+  // Source / headers / docs -------------------------------
+  [ /^osx1010-release-sources$/,      releaseType, gte(11) ],
+  [ /^osx1011-release-sources$/,      releaseType, lt(11)  ],
+  [ /^osx1011-release-sources$/,      releaseType, gte(12) ],
+  [ /^centos7-release-sources$/,      releaseType, lt(12)  ],
+
   // -------------------------------------------------------
 ]