Use specific Jenkins nodes for releases

This should be safer as these nodes are only used once.
2024-12-16 11:10:52 +01:00 · 2024-12-16 11:10:52 +01:00 · 951c819ebf
parent 0db5d77c21
commit 951c819ebf
2 changed files with 2 additions and 2 deletions
--- a/ci/release/Jenkinsfile
+++ b/ci/release/Jenkinsfile
@ -64,7 +64,7 @@ def checkoutReleaseScripts() {

 pipeline {
 	agent {
-		label 'Worker&&Containers'
+		label 'Release'
 	}
 	triggers {
 		// Run every week Sunday midnight
--- a/ci/snapshot-publish.Jenkinsfile
+++ b/ci/snapshot-publish.Jenkinsfile
@ -12,7 +12,7 @@ if (currentBuild.getBuildCauses().toString().contains('BranchIndexingCause')) {

 pipeline {
    agent {
-        label 'Fedora'
+        label 'Release'
    }
    tools {
        jdk 'OpenJDK 11 Latest'