From 43b25bdb29d4c1f6af6c6507b1b2578aa82e38b6 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sat, 29 Nov 2025 09:23:28 +0200 Subject: [PATCH] Improving testing --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7571f2a..ce3adfd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -33,7 +33,7 @@ pipeline { params.LIBRARIES.split().each { LIBRARY -> params.R6RS_SCHEMES.split().each { SCHEME -> def IMG="${SCHEME}:head" - stage("${SCHEME} - ${LIBRARY}") {k + stage("${SCHEME} - ${LIBRARY}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r6rs-docker" }