diff --git a/ci/snapshot-publish/Jenkinsfile b/ci/snapshot-publish/Jenkinsfile index 7e7fd1e3..7f159007 100644 --- a/ci/snapshot-publish/Jenkinsfile +++ b/ci/snapshot-publish/Jenkinsfile @@ -15,7 +15,9 @@ if (currentBuild.getBuildCauses().toString().contains('BranchIndexingCause')) { } pipeline { - agent basic + agent { + label 'basic' + } tools { maven 'apache-maven-3.9.11' jdk 'openjdk-jdk25-latest'