From ba446c85339147e86d99e119ce0ddcd9577d9151 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sat, 6 Dec 2025 07:53:41 +0200 Subject: [PATCH] Improving tests --- Jenkinsfile | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 4d170bd..cc75076 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,12 +30,14 @@ pipeline { stage('R6RS x86_64 Debian') { steps { script { - params.LIBRARIES.split().each { LIBRARY -> - params.R6RS_SCHEMES.split().each { SCHEME -> - def IMG="${SCHEME}:head" - stage("${SCHEME} - ${LIBRARY}") { - catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r6rs-docker" + stages { + params.LIBRARIES.split().each { LIBRARY -> + params.R6RS_SCHEMES.split().each { SCHEME -> + def IMG="${SCHEME}:head" + stage("${SCHEME} - ${LIBRARY}") { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r6rs-docker" + } } } }