diff --git a/Jenkinsfile b/Jenkinsfile
index da120335b0..aa460f5d46 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,7 @@
 pipeline {
-    agent any
+    agent {
+        label 'papermario'
+    }
 
     stages {
         stage('Setup') {