From b77f3788d06a59c32a92a3c2721d693c421f4bb1 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sat, 6 Dec 2025 12:44:02 +0200 Subject: [PATCH] Improving tests --- Jenkinsfile | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 4247061..1f9503e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -32,10 +32,8 @@ pipeline { parallel params.R6RS_SCHEMES.split().collectEntries { SCHEME -> [(SCHEME): { def IMG="${SCHEME}:head" - stage("${SCHEME} - ${LIBRARY}") { - catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r6rs-docker" - } + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r6rs-docker" } }] } @@ -55,10 +53,8 @@ pipeline { 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" - } + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r7rs-docker" } }] }