From 7bf3b69fd368956a4fac97eb437826e47278e7e8 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sat, 21 Mar 2026 13:19:12 +0200 Subject: [PATCH] Improve testing --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index db35315..b1dd33e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -32,7 +32,7 @@ pipeline { params.R6RS_SCHEMES.split().each { SCHEME -> stage("${SCHEME} ${LIBRARY}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r6rs run-test-docker" + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r6rs test-docker" } } } @@ -47,7 +47,7 @@ pipeline { params.R7RS_SCHEMESsplit().each { SCHEME -> stage("${SCHEME} ${LIBRARY}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r7rs run-test-docker" + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r7rs test-docker" } } }