diff --git a/.ci/jenkins/Jenkinsfile.branch b/.ci/jenkins/Jenkinsfile.branch index 867711bc..4c3d0e58 100644 --- a/.ci/jenkins/Jenkinsfile.branch +++ b/.ci/jenkins/Jenkinsfile.branch @@ -12,7 +12,7 @@ TARGET_BRANCH="newBranch" pipeline { agent { - label "$AGENT_LABEL" + label util.avoidFaultyNodes(AGENT_LABEL) } options { timestamps() diff --git a/.ci/jenkins/Jenkinsfile.bump-up-version b/.ci/jenkins/Jenkinsfile.bump-up-version index 3c30d297..ed8c38e5 100644 --- a/.ci/jenkins/Jenkinsfile.bump-up-version +++ b/.ci/jenkins/Jenkinsfile.bump-up-version @@ -10,6 +10,7 @@ pipeline { docker { image env.AGENT_DOCKER_BUILDER_IMAGE args env.AGENT_DOCKER_BUILDER_ARGS + label util.avoidFaultyNodes() } }