From 3ffa404af113583582d5bd09b8b34923259134bc Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Sun, 8 Jun 2025 22:35:31 +0300
Subject: [PATCH] Add timeout to tests

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}"
                             }
                         }
                     }