diff --git a/Jenkinsfile b/Jenkinsfile
index d9bdd8f..ca0655d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,6 @@ pipeline {
         dockerfile {
             filename 'Dockerfile.jenkins'
             dir '.'
-            label 'r7rs-pffi-jenkins'
             args '--privileged'
         }
     }