From ddcc80a22b6bf4322b589f4fa44e4c4f169a7f05 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sat, 6 Dec 2025 08:22:37 +0200 Subject: [PATCH] Improving tests --- Jenkinsfile | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index a9c5496..6379bad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,8 +30,8 @@ pipeline { stage('R6RS x86_64 Debian') { steps { script { - stages { - params.LIBRARIES.split().each { LIBRARY -> + params.LIBRARIES.split().each { LIBRARY -> + stage("${LIBRARY}") { params.R6RS_SCHEMES.split().each { SCHEME -> def IMG="${SCHEME}:head" stage("${SCHEME} - ${LIBRARY}") { @@ -49,14 +49,16 @@ pipeline { steps { script { params.LIBRARIES.split().each { LIBRARY -> - params.R7RS_SCHEMES.split().each { SCHEME -> - def IMG="${SCHEME}:head" - if("${SCHEME}" == "chicken") { - IMG="${SCHEME}:5" - } - stage("${SCHEME} - ${LIBRARY}") { - catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r7rs-docker" + stage("${LIBRARY}") { + params.R7RS_SCHEMES.split().each { SCHEME -> + def IMG="${SCHEME}:head" + if("${SCHEME}" == "chicken") { + IMG="${SCHEME}:5" + } + stage("${SCHEME} - ${LIBRARY}") { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r7rs-docker" + } } } }