diff --git a/Jenkinsfile b/Jenkinsfile
index 7fc5841..94f0cc0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,6 +16,7 @@ pipeline {
     stages {
         stage('Test R6RS implementations') {
             agent {
+                label 'docker-x86_64'
                 dockerfile {
                     filename 'Dockerfile.jenkins'
                     args '--user=root -v /var/run/docker.sock:/var/run/docker.sock'
@@ -40,6 +41,7 @@ pipeline {
 
         stage('Test R7RS implementations') {
             agent {
+                label 'docker-x86_64'
                 dockerfile {
                     filename 'Dockerfile.jenkins'
                     args '--user=root -v /var/run/docker.sock:/var/run/docker.sock'