diff --git a/Jenkinsfile b/Jenkinsfile
index a05f07f..8d5c345 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -32,7 +32,7 @@ echo "Use local repo at ${maven_local_repo_path}"
 
 pipeline {
    // see https://jenkins.io/doc/book/pipeline/syntax/#agent
-   agent any
+   agent { label 'pipeline-agent' }
 
    // see https://jenkins.io/doc/book/pipeline/syntax/#environment
    environment {