diff --git a/Jenkinsfile b/Jenkinsfile
index a150ba6..659eae7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,7 +34,7 @@ pipeline {
                     r7rs_implementations.each { implementation->
                         stage("${implementation} R7RS") {
                             catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                                sh "make test-r7rs-docker COMPILE_R7RS=${implementation}"
+                                sh "timeout 600 make test-r7rs-docker COMPILE_R7RS=${implementation}"
                             }
                         }
                     }