From 9d43a0b79f7485e375cf8a56af268ac15e4300b0 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sat, 6 Dec 2025 12:34:27 +0200 Subject: [PATCH] Improving tests --- Jenkinsfile | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7f777f0..be626d4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -51,15 +51,13 @@ pipeline { stage("${LIBRARY}") { parallel params.R7RS_SCHEMES.collectEntries().each { SCHEME -> [(SCHEME): { - lock { - 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" - } + 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" } } }]