diff --git a/Jenkinsfile b/Jenkinsfile
index b3f4a116471101a80fabe89f7ab7433f61ad2143..49d6c5e38c976840b4aac809c573cf1c3e444782 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,6 @@ pipeline {
     agent {
         node {
             label 'docker'
-            }
         }
     }
     parameters {