diff --git a/Jenkinsfile b/Jenkinsfile
index eb8b69c59..622377cd3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent any
+    agent { label 'agent' }
 
     environment {
         GIT_COMMIT_SHORT = sh(script: "git rev-parse --short HEAD", returnStdout: true).trim()